9 citations · 9 across the 2 of their papers we have counts for
3 papers
cs.AI2021
An Experimental Study of Permanently Stored Learned Clauses
Sima Jamali, David Mitchell
Modern CDCL SAT solvers learn clauses rapidly, and an important heuristic is the clause deletion scheme. Most current solvers have two (or more) stores of clauses. One has ``valuab…
cs.AI2016
Propagators and Solvers for the Algebra of Modular Systems
Bart Bogaerts, Eugenia Ternovska, David Mitchell
To appear in the proceedings of LPAR 21. Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Syste…
cs.LO2011★ 9 cited
Lifted Unit Propagation for Effective Grounding
Pashootan Vaezipoor, David Mitchell, Maarten Mariën
A grounding of a formula over a given finite domain is a ground formula which is equivalent to on that domain. Very effective propositional solvers have made grounding-base…