Matteo Cardellini
3 papers
· 2024–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
numeric planning
(2)
constraint solving
(1)
symbolic planning
(1)
planning algorithm
(1)
smt solving
(1)
classical planning
(1)
action planning
(1)
concurrent planning
(1)
pddl planning
(1)
conditional effect
(1)
satisfiability encoding
(1)
planning as satisfiability
(1)
plan compilation
(1)
planning pattern
(1)
temporal planning
(1)
bound planning
(1)