Resolution versus Search: Two Strategies for SAT (2000)

Cached

Download Links

by Irina Rish , Rina Dechter
Venue:Journal of Automated Reasoning
Citations:50 - 1 self