Branching rules for satisfiability (1995)

by John N Hooker, V Vinay
Venue:Journal of Automated Reasoning