Pages that link to "Item:Q5190260"
From MaRDI portal
The following pages link to Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings (Q5190260):
Displaying 9 items.
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- Optimal admissible composition of abstraction heuristics (Q991018) (← links)
- A framework for analysing state-abstraction methods (Q2060741) (← links)
- Planning as satisfiability: parallel plans and algorithms for plan search (Q2457605) (← links)
- SAS+ planning as satisfiability (Q2887072) (← links)
- Event Calculus Planning Through Satisfiability (Q4659507) (← links)
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning (Q5310682) (← links)
- Logics in Artificial Intelligence (Q5394133) (← links)
- Lilotane: A Lifted SAT-based Approach to Hierarchical Planning (Q5856493) (← links)