Browsing by Subject "Boolean optimizations"
Now showing items 1-1 of 1
-
Conference Object
Heuristic guided optimization for propositional planning
(AAAI press, 2014)Planning as Satisfiability is an important approach to Propositional Planning. A serious drawback of the method is its limited scalability, as the instances that arise from large planning problems are often too hard for ...