![](https://www.pdfsearch.io/img/9321f11896a037ae7056e6499b8af0c3.jpg) 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 cAdd to Reading ListSource URL: pdfs.semanticscholar.orgDownload Document from Source Website File Size: 1,28 MBShare Document on Facebook
|