Expressively Modeling the Social Golfer Problem into SAT

In press International audience

Bibliographic Details
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), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-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.science/hal-01146271
id ftunivangershal:oai:HAL:hal-01146271v1
record_format openpolar
spelling ftunivangershal:oai:HAL:hal-01146271v1 2024-02-04T10:01:22+01:00 Expressively Modeling the Social Golfer Problem into SAT Lardeux, Frédéric Monfroy, Eric 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) Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-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) Reykjavík, Iceland 2015-06-01 https://hal.science/hal-01146271 en eng HAL CCSD Elsevier hal-01146271 https://hal.science/hal-01146271 International Conference on Computational Science - ICCS 2015 https://hal.science/hal-01146271 International Conference on Computational Science - ICCS 2015, Jun 2015, Reykjavík, Iceland [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] info:eu-repo/semantics/conferenceObject Conference papers 2015 ftunivangershal 2024-01-10T17:20:02Z In press International audience Conference Object Iceland Reykjavík Reykjavík Portail des publications scientifiques de l’Université d’Angers (HAL) Reykjavík
institution Open Polar
collection Portail des publications scientifiques de l’Université d’Angers (HAL)
op_collection_id ftunivangershal
language English
topic [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
spellingShingle [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Lardeux, Frédéric
Monfroy, Eric
Expressively Modeling the Social Golfer Problem into SAT
topic_facet [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
description In press International audience
author2 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)
Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST)
Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST)
Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-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
author Lardeux, Frédéric
Monfroy, Eric
author_facet Lardeux, Frédéric
Monfroy, Eric
author_sort Lardeux, Frédéric
title Expressively Modeling the Social Golfer Problem into SAT
title_short Expressively Modeling the Social Golfer Problem into SAT
title_full Expressively Modeling the Social Golfer Problem into SAT
title_fullStr Expressively Modeling the Social Golfer Problem into SAT
title_full_unstemmed Expressively Modeling the Social Golfer Problem into SAT
title_sort expressively modeling the social golfer problem into sat
publisher HAL CCSD
publishDate 2015
url https://hal.science/hal-01146271
op_coverage Reykjavík, Iceland
geographic Reykjavík
geographic_facet Reykjavík
genre Iceland
Reykjavík
Reykjavík
genre_facet Iceland
Reykjavík
Reykjavík
op_source International Conference on Computational Science - ICCS 2015
https://hal.science/hal-01146271
International Conference on Computational Science - ICCS 2015, Jun 2015, Reykjavík, Iceland
op_relation hal-01146271
https://hal.science/hal-01146271
_version_ 1789967197779525632

Similar Items