Unifying SAT-based and Graph-based Planning (1999)

by Henry Kautz , Bart Selman
Citations:263 - 14 self

Document Versions

Unifying SAT-based and Graph-based Planning –Henry Kautz, Bart Selman — 1999
B.: Unifying SAT-based and graph-based planning –Henry Kautz, Bart Selman — 1999 — Proceedings of the 16th International Joint Conference on Artificial Intelligence
Unifying SAT-based and graph-based planning –Henry Kautz, Bart Selman — 1999 — In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99
Unifying sat-based and graph-based planning –Henry Kautz — 1999
Unifying sat-based and graph-based planning –Henry Kautz — 1999