200 citations · 450 across the 51 of their papers we have counts for
Showing 2006 · cs.AIShow all
2 papers · 2 filters
cs.AI2006★ 1 cited
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…
cs.AI2006
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…