output
20042026
most citedCharacterizing the speed and paths of shared bicycles in Lyon

200 citations

researchers with a paper here
collaborating institutions
Showing 2004 · cs.LOShow all

1 paper · 2 filters

cs.LO2004

Automatic Generation of CHR Constraint Solvers

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…