Heuristics for Planning with SAT

Principles and Practice of Constraint Programming – CP 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15396-9_34 ◽

2010 ◽

pp. 414-428 ◽

Author(s):

Jussi Rintanen

Download Full-text