6 citations · 8 across the 3 of their papers we have counts for
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…