Optimizing compilation of constraint handling rules in HAL

DOI10.1017/S1471068405002413zbMath1104.68010MaRDI QIDQ5696595

Gregory J. Duck, Peter J. Stuckey, Maria Garcia de la Banda, Christian Holzbaur

Publication date: 18 October 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

incremental constraint solvers

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17)

Related Items (5)

Parallelism, concurrency and distribution in constraint handling rules: A survey ⋮ Attributed Data for CHR Indexing ⋮ CHR for Imperative Host Languages ⋮ Guard Reasoning in the Refined Operational Semantics of CHR ⋮ Optimization of CHR Propagation Rules

This page was built for publication: Optimizing compilation of constraint handling rules in HAL