The Community for Technology Leaders
Green Image
Issue No. 02 - March/April (2005 vol. 20)
ISSN: 1541-1672
pp: 62-72
Robert P. Goldman , Smart Information Flow Technologies
Eugene C. Freuder , University College Cork
Alexander Nareyek , University College Cork
Austin Tate , University of Edinburgh
Robert Fourer , Northwestern University
Enrico Giunchiglia , University of Genova
Henry Kautz , University of Washington
Jussi Rintanen , Albert-Ludwigs-University Freiburg
Tackling real-world planning problems often requires considering various types of constraints, ranging from simple numerical comparators to complex resources. This article provides an overview of how to solve planning tasks within general constraint-solving frameworks, such as propositional satisfiability, integer programming, and constraint programming. In many cases, the complete planning problem can be cast in these frameworks.
planning, constraint programming, propositional satisfiability, integer programming
Robert P. Goldman, Eugene C. Freuder, Alexander Nareyek, Austin Tate, Robert Fourer, Enrico Giunchiglia, Henry Kautz, Jussi Rintanen, "Constraints and AI Planning", IEEE Intelligent Systems, vol. 20, no. , pp. 62-72, March/April 2005, doi:10.1109/MIS.2005.25
82 ms
(Ver 3.3 (11022016))