← Authors

Armando Tacchella

1 papers · 2020–2020 · 1 conference · across top CS/AI conferences

Achievements

๐ŸŒ‰ Interdisciplinary Bridge ๐Ÿงญ Keyword Pioneer ๐Ÿ Cross-Pollinator (11)

Conferences

IJCAI (1)

Top co-authors

Francesco Leofante (1) Erika รbrรกham (1) Enrico Giunchiglia (1)

Keywords

automated planning (1) optimal planning (1) optimization modulo theories (1)

Papers

Optimal Planning Modulo Theories IJCAI 2020