Mark Iwen, Amol Dattatraya Mali. DSatz: A Directional SAT Solver for Planning. In 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA. pages 199-208, IEEE Computer Society, 2002. [doi]
Abstract is missing.