Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alessandro Saetti
Exploiting Macro-Actions and Predicting Plan Length in Planning as Satisfiability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On the Completeness of Replacing Primitive Actions With Macro-Actions and Its Generalization to Planning Operators and Macro-Operators
AI Communications
Artificial Intelligence
SymChaff: Exploiting Symmetry in a Structure-Aware Satisfiability Solver
Constraints
Combinatorics
Mathematics
Discrete Mathematics
Computational Theory
Artificial Intelligence
Software
Project Planning and Macro Planning
The IDS Bulletin
Simulating and Predicting Others’ Actions
Psychological Research
Developmental
Arts
Educational Psychology
Humanities
Cognitive Psychology
Medicine
Experimental
Combining Linear Programming and Satisfiability Solving for Resource Planning
Knowledge Engineering Review
Artificial Intelligence
Software
Exploiting Symmetries in Logistics Distribution Planning
Exploiting Visual Constraints in Robot Motion Planning
Simulation Run Length Planning
Exploring Disjunctive Planning as a Means to Scale-Up Plan Synthesis
