R. Shonkwiler;Erik Van Vleck
-;-
Parallel cooperative propositional theorem proving
Annals of Mathematics and Artificial Intelligence
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning