Pages that link to "Item:Q5190260"

The following pages link to Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings (Q5190260):

Displaying 3 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)