2 citations · 2 across the 2 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…