%0 Journal Article %1 journals/anor/LardeuxMCS15 %A Lardeux, Frédéric %A Monfroy, Éric %A Crawford, Broderick %A Soto, Ricardo %D 2015 %J Ann. Oper. Res. %K dblp %N 1 %P 423-452 %T Set constraint model and automated encoding into SAT: application to the social golfer problem. %U http://dblp.uni-trier.de/db/journals/anor/anor235.html#LardeuxMCS15 %V 235

@article{journals/anor/LardeuxMCS15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lardeux, Frédéric and Monfroy, Éric and Crawford, Broderick and Soto, Ricardo}, biburl = {https://www.bibsonomy.org/bibtex/2c4ab12e8a813da4364b61c7ae0f8ca66/dblp}, ee = {https://doi.org/10.1007/s10479-015-1914-5}, interhash = {7690fd3078df05d46038d26480b23c80}, intrahash = {c4ab12e8a813da4364b61c7ae0f8ca66}, journal = {Ann. Oper. Res.}, keywords = {dblp}, number = 1, pages = {423-452}, timestamp = {2024-04-08T10:57:28.000+0200}, title = {Set constraint model and automated encoding into SAT: application to the social golfer problem.}, url = {http://dblp.uni-trier.de/db/journals/anor/anor235.html#LardeuxMCS15}, volume = 235, year = 2015 }