Directional Resolution: The Davis-Putnam Procedure, Revisited (1994)

by Rina Dechter , Irina Rish
Venue:IN PROCEEDINGS OF KR-94
Citations:101 - 22 self