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

by Henry Kautz , Bart Selman
Citations:258 - 13 self