Branching Rules for Satisfiability

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

Abstract

Abstract is missing.