Planning as Satisfiability: Heuristics Jussi Rintanen Institute for Integrated and Intelligent Systems, Griffith University, Queensland, Australia Abstract Reduction to SAT is a very successful approach to solving hard c

First Page		Document Content
Date: 2015-07-28 20:07:32		Planning as Satisfiability: Heuristics Jussi Rintanen Institute for Integrated and Intelligent Systems, Griffith University, Queensland, Australia Abstract Reduction to SAT is a very successful approach to solving hard c Add to Reading List Source URL: pdfs.semanticscholar.org Download Document from Source Website File Size: 1,28 MB Share Document on Facebook