%0 Journal Article %1 journals/tocl/AbdennadherR04 %A Abdennadher, Slim %A Rigotti, Christophe %D 2004 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 177-205 %T Automatic generation of rule-based constraint solvers over finite domains. %U http://dblp.uni-trier.de/db/journals/tocl/tocl5.html#AbdennadherR04 %V 5

@article{journals/tocl/AbdennadherR04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Abdennadher, Slim and Rigotti, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/2073ba2820214d937fcab2cb66e71b5e7/dblp}, ee = {https://doi.org/10.1145/976706.976707}, interhash = {137b8f5319682dc125ae763aee605005}, intrahash = {073ba2820214d937fcab2cb66e71b5e7}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 2, pages = {177-205}, timestamp = {2018-11-07T12:18:18.000+0100}, title = {Automatic generation of rule-based constraint solvers over finite domains.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl5.html#AbdennadherR04}, volume = 5, year = 2004 }