Farid Harche, John N. Hooker, Gerald L. Thompson. A Computational Study of Satisfiability Algorithms for Propositional Logic. INFORMS Journal on Computing, 6(4):423-435, 1994. [doi]
@article{HarcheHT94, title = {A Computational Study of Satisfiability Algorithms for Propositional Logic}, author = {Farid Harche and John N. Hooker and Gerald L. Thompson}, year = {1994}, doi = {10.1287/ijoc.6.4.423}, url = {http://dx.doi.org/10.1287/ijoc.6.4.423}, tags = {logic}, researchr = {https://researchr.org/publication/HarcheHT94}, cites = {0}, citedby = {0}, journal = {INFORMS Journal on Computing}, volume = {6}, number = {4}, pages = {423-435}, }