Branching Rules for Satisfiability

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

No reviews for this publication, yet.