1 paper
Armando Gonçalves Da Silva Junior, Pierre Deransart, Luis-Carlos Menezes +2
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their t…