Implementing the Davis–Putnam Method
Journal of Automated Reasoning
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Completing the spectrum of r-orthogonal Latin squares
Discrete Mathematics
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
Journal of Automated Reasoning
Applying SAT Solving in Classification of Finite Algebras
Journal of Automated Reasoning
Dichotomic Search Protocols for Constrained Optimization
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A new set of algebraic benchmark problems for SAT solvers
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
A complete random jump strategy with guiding paths
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
Hi-index | 0.00 |