Set constraint model and automated encoding into SAT: application to the social golfer problem

Frédéric Lardeux, Eric Monfroy, Broderick Crawford, Ricardo Soto

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Fingerprint

Dive into the research topics of 'Set constraint model and automated encoding into SAT: application to the social golfer problem'. Together they form a unique fingerprint.

Business & Economics