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

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