This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Constraints and AI Planning
March/April 2005 (vol. 20 no. 2)
pp. 62-72
ASCII Text
x 
 
Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry Kautz, Jussi Rintanen, Austin Tate, "Constraints and AI Planning," IEEE Intelligent Systems, vol. 20, no. 2, pp. 62-72, March/April, 2005.
 
 
BibTex
x
 
@article{ 10.1109/MIS.2005.25,
author = {Alexander Nareyek and Eugene C. Freuder and Robert Fourer and Enrico Giunchiglia and Robert P. Goldman and Henry Kautz and Jussi Rintanen and Austin Tate},
title = {Constraints and AI Planning},
journal ={IEEE Intelligent Systems},
volume = {20},
number = {2},
issn = {1541-1672},
year = {2005},
pages = {62-72},
doi = {http://doi.ieeecomputersociety.org/10.1109/MIS.2005.25},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Intelligent Systems
TI - Constraints and AI Planning
IS - 2
SN - 1541-1672
SP62
EP72
EPD - 62-72
A1 - Alexander Nareyek,
A1 - Eugene C. Freuder,
A1 - Robert Fourer,
A1 - Enrico Giunchiglia,
A1 - Robert P. Goldman,
A1 - Henry Kautz,
A1 - Jussi Rintanen,
A1 - Austin Tate,
PY - 2005
KW - planning
KW - constraint programming
KW - propositional satisfiability
KW - integer programming
VL - 20
JA - IEEE Intelligent Systems
ER -
 
Alexander Nareyek, University College Cork
Eugene C. Freuder, University College Cork
Robert Fourer, Northwestern University
Enrico Giunchiglia, University of Genova
Robert P. Goldman, Smart Information Flow Technologies
Henry Kautz, University of Washington
Jussi Rintanen, Albert-Ludwigs-University Freiburg
Austin Tate, University of Edinburgh
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.
Index Terms:
planning, constraint programming, propositional satisfiability, integer programming
Citation:
Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry Kautz, Jussi Rintanen, Austin Tate, "Constraints and AI Planning," IEEE Intelligent Systems, vol. 20, no. 2, pp. 62-72, March-April 2005, doi:10.1109/MIS.2005.25
Usage of this product signifies your acceptance of the Terms of Use.