Optimizing Compilation of CHR with Rule Priorities.

Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck

Browse the full FLOPS paper archive.