A Computational Study of Satisfiability Algorithms for Propositional Logic (1993)

by F HARCHE, J N HOOKER, G THOMPSON
Venue:ORSA J. Comput