200 citations · 450 across the 51 of their papers we have counts for
3 papers · 1 filter
Efficient constraint propagation engines
Christian Schulte, Peter J. Stuckey
This paper presents a model and implementation techniques for speeding up constraint propagation. Three fundamental approaches to improving constraint propagation based on propagat…
ACD Term Rewriting
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
We introduce Associative Commutative Distributive Term Rewriting (ACDTR), a rewriting language for rewriting logical formulae. ACDTR extends AC term rewriting by adding distributio…
Islands for SAT
H. Fang, Y. Kilani, J. H. M. Lee +1
In this note we introduce the notion of islands for restricting local search. We show how we can construct islands for CNF SAT problems, and how much search space can be eliminated…