Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem

Document type :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01088415
Contributor : Eric Monfroy <>
Submitted on : Thursday, November 27, 2014 - 9:07:02 PM
Last modification on : Friday, May 10, 2019 - 12:50:14 PM

Identifiers

  • HAL Id : hal-01088415, version 1

Citation

Frédéric Lardeux, Eric Monfroy, Broderick Crawford, Ricardo Soto. Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem. 2014. ⟨hal-01088415⟩

Share

Metrics

Record views

292