Optiplan: unifying IP-based and graph-based planning

Authors:
Menkes H. L. van den Briel;Subbarao Kambhampati
Affiliations:
Department of Industrial Engineering, Arizona State University, Tempe, AZ;Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
Venue:
Journal of Artificial Intelligence Research
Year:
2005

Citing 10
Cited 2

Planning as satisfiability

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
State-space planning by integer optimization

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Planning as constraint satisfaction: solving the planning graph by compiling it into CSP

Artificial Intelligence
On the Use of Integer Programming Models in AI Planning

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Unifying SAT-based and Graph-based Planning

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
The LPSAT Engine & Its Application to Resource Planning

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Integer Programs and Valid Inequalities for Planning Problems

ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Challenges in bridging plan synthesis paradigms

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Fast planning through planning graph analysis

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A linear programming heuristic for optimal planning

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Loosely coupled formulations for automated planning: an integer programming perspective

Journal of Artificial Intelligence Research
Planning as satisfiability with IPC simple preferences and action costs

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Optiplan planning system is the first integer programming-based planner that successfully participated in the international planning competition. This engineering note describes the architecture of Optiplan and provides the integer programming formulation that enabled it to perform reasonably well in the competition. We also touch upon some recent developments that make integer programming encodings significantly more competitive.