State-space Planning by Integer Optimization (1999)

Cached

Download Links

by Henry Kautz , Joachim P. Walser
Venue:In Proceedings of the Sixteenth National Conference on Artificial Intelligence
Citations:59 - 0 self

Documents Related by Co-Citation

960 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
95 CPlan: A constraint programming approach to planning – Peter Van Beek, Xinguang Chen - 1999
19 Mixed Integer Programming Models for Planning Problems – Alexander Bockmayr, Yannis Dimopoulos - 1998
90 Planning under Resource Constraints – Jana Koehler - 1998
121 Automatic SAT-Compilation of Planning Problems – Michael D. Ernst, Todd D. Millstein, Daniel S. Weld - 1997
169 Extending planning graphs to an ADL subset – Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos - 1997
45 On the Use of Integer Programming Models in AI Planning – Thomas Vossen, Michael Ball, Robert H. Smith - 1999
36 On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization – Greger Ottosson, John N. Hooker, Hak-Jin Kim, Erlendur S. Thorsteinsson - 2000
259 Unifying SAT-based and Graph-based Planning – Henry Kautz, Bart Selman - 1999
948 Constraint Networks – Rina Dechter - 1992
83 Ten challenges in propositional reasoning and search – Bart Selman, Henry Kautz, David Mcallester - 1997
124 BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving – Henry Kautz, Bart Selman - 1998
163 Planning as Heuristic Search: New Results – Blai Bonet, Héctor Geffner - 1999
55 Optimal planning with a goal-directed utility model – M Williamson, S Hanks - 1994
48 Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length – Stefan Edelkamp, Malte Helmert - 1999
43 Scaling up Planning by teasing out Resource Scheduling – Biplav Srivastava, Subbarao Kambhampati - 1999
141 HSTS: Integrating planning and scheduling – N Muscettola - 1994
15 The LPSAT System and its Application to Resource Planning – S Wolfman, D Weld - 1999