Branching Rules for Satisfiability

John N. Hooker, V. Vinay. Branching Rules for Satisfiability. Journal of Automated Reasoning, 15(3):359-383, 1995.

Possibly Related Publications

The following publications are possibly variants of this publication: