1 paper · 1 filter
Slim Abdennadher, Christophe Rigotti
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabl…