Directional Resolution: The Davis-Putnam Procedure, Revisited.

Rina Dechter, Irina Rish

Browse the full KR paper archive.