DSatz: A Directional SAT Solver for Planning.

Mark A. Iwen, Amol Dattatraya Mali

Browse the full ICTAI paper archive.