Branching Rules for Satisfiability (1995)

View PDF

Download Links

by J. N. Hooker , V. Vinay
Venue:Journal of Automated Reasoning
Citations:80 - 2 self