Skip navigation
Skip navigation

Planning with Specialized SAT Solvers

Rintanen, Jussi


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]

CollectionsANU Research Publications
Date published: 2011
Type: Conference paper
Source: Proceedings of AAAI 2011


File Description SizeFormat Image
01_Rintanen_Planning_with_Specialized_SAT_2011.pdf473.83 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator