A Flexible Search Framework for CHR

Leslie De Koninck, Tom Schrijvers, Bart Demoen. A Flexible Search Framework for CHR. In Tom Schrijvers, Thom W. Frühwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 16-47, Springer, 2008. [doi]

Abstract

Abstract is missing.