Directional Resolution: The Davis-Putnam Procedure, Revisited

Rina Dechter, Irina Rish. Directional Resolution: The Davis-Putnam Procedure, Revisited. In KR. pages 134-145, 1994.

Abstract

Abstract is missing.