Planning with Specialized SAT Solvers
Logic, and declarative representation of knowledge in general, have long been a preferred framework for problem solving in AI. However, specific subareas of AI have been eager to abandon general-purpose knowledge representation in favor of methods that seem to address their computational core problems better. In planning, for example, state-space search has in the last several years been preferred to logic-based methods such as SAT. In our recent work, we have demonstrated that the observed...[Show more]
|Collections||ANU Research Publications|
|Source:||Proceedings of AAAI 2011|
|01_Rintanen_Planning_with_Specialized_SAT_2011.pdf||473.83 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.