Expressively Modeling the Social Golfer Problem into SAT

• Main Authors: Lardeux, Frédéric, Monfroy, Eric
• Other Authors: Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA), Université d'Angers (UA), Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
• Format: Conference Object
• Language: English
• Published: HAL CCSD 2015
• Subjects: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; Reykjavík; Iceland
• Online Access: https://hal.archives-ouvertes.fr/hal-01146271

In press International audience