%0 Journal Article %1 journals/amai/JeffersonJGD13 %A Jefferson, Christopher %A Jeavons, Peter %A Green, Martin James %A van Dongen, Marc R. C. %D 2013 %J Ann. Math. Artif. Intell. %K %N 3-4 %P 359-382 %T Representing and solving finite-domain constraint problems using systems of polynomials. %U http://dblp.uni-trier.de/db/journals/amai/amai67.html#JeffersonJGD13 %V 67

@article{journals/amai/JeffersonJGD13, added-at = {2023-12-13T00:17:16.000+0100}, author = {Jefferson, Christopher and Jeavons, Peter and Green, Martin James and van Dongen, Marc R. C.}, biburl = {https://www.bibsonomy.org/bibtex/21f36561e04f962546fd3ed5faecd3c87/admin}, ee = {http://dx.doi.org/10.1007/s10472-013-9365-7}, interhash = {6142babad2afa5fef12ee6c267c3c60f}, intrahash = {1f36561e04f962546fd3ed5faecd3c87}, journal = {Ann. Math. Artif. Intell.}, keywords = {}, number = {3-4}, pages = {359-382}, timestamp = {2023-12-13T00:17:16.000+0100}, title = {Representing and solving finite-domain constraint problems using systems of polynomials.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai67.html#JeffersonJGD13}, volume = 67, year = 2013 }