Set constraint model and automated encoding into SAT: application to the social golfer problem.
Saved in:
| Title: | Set constraint model and automated encoding into SAT: application to the social golfer problem. |
|---|---|
| Authors: | Lardeux, Frédéric1, Frederic.Lardeux@univ-angers.fr, Monfroy, Eric2, Eric.Monfroy@univ-nantes.fr, Crawford, Broderick, broderick.crawford@ucv.cl, Soto, Ricardo, ricardo.soto@ucv.cl |
| Source: | Annals of Operations Research; Dec2015, Vol. 235 Issue 1, p423-452, 30p |
| Database: | Applied Science & Technology Source |
| ISSN: | 02545330 |
|---|---|
| DOI: | 10.1007/s10479-015-1914-5 |
