7 citations · 7 across the 7 of their papers we have counts for
Showing 2006 · cs.PLShow all
2 papers · 2 filters
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.PL2006
Towards "Propagation = Logic + Control"
Sebastian Brand, Roland H. C. Yap
Constraint propagation algorithms implement logical inference. For efficiency, it is essential to control whether and in what order basic inference steps are taken. We provide a hi…