Browsing by Author "Bockmayr, A."
Now showing items 1-1 of 1
-
Conference Object
Integer programs and valid inequalities for planning problems
Bockmayr, A.; Dimopoulos, Yannis (Springer Verlag, 2000)Part of the recent work in AI planning is concerned with the development of algorithms that regard planning as a combinato-rial search problem. The underlying representation language is basically propositional logic. While ...