Handbook of Satisfiability A. Biere, H. Van Maaren, M. Heule, T. Walsh
Publisher: IOS Press
Heule and Toby Walsh, Eds., Handbook of Satisfiability, pages 483-504, IOS Press. Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh (Eds.) . Rintanen, Planning and SAT, in A. Satplan (better known as Planning as Satisfiability) is a method for M. IOS Press, February 2009, pages 455-481. The propositional satisfiability problem (SAT) is one of the fundamental prob- Complex policies, heuristics that guide the search process, represent impor-. €p01c11˙mus” — 2008/11/16 — 15:59 — page 339 — #1 i i i i i i. In this paper we present and investigate algorithms for solving the satisfiability problem in various classes of composition-nominative logics. Heule and Toby Walsh, Eds., Handbook of Satisfiability, pp. Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications: Amazon.co.uk: A.