John N. Hooker, V. Vinay. Branching Rules for Satisfiability. Journal of Automated Reasoning, 15(3):359-383, 1995.
@article{HookerV95, title = {Branching Rules for Satisfiability}, author = {John N. Hooker and V. Vinay}, year = {1995}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/HookerV95}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {15}, number = {3}, pages = {359-383}, }