17 citations · 22 across the 8 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.PL2006
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…
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…