Branching Rules for Satisfiability (1995)

Cached

Download Links

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