Branch-and-cut solution of inference problems in propositional logic (1990)

by J N Hooker, C Fedjki
Venue:Annals of Mathematics and Artificial Intelligence