1 paper
Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey +1
In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). CHRs are a multi-headed committed choice constraint language, commonly applied for writing…