Constructing Rule-Based Solvers for Intentionally-Defined Constraints

Ingi Sobhi, Slim Abdennadher, Hariolf Betz. Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In Tom Schrijvers, Thom W. Frühwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 70-84, Springer, 2008. [doi]

Abstract

Abstract is missing.