Expressively Modeling the Social Golfer Problem in SAT

被引：1

作者：

Lardeux, Frederic ^{[1
]}

Monfroy, Eric ^{[2
]}

机构：

[1] Univ Angers, Angers, France

[2] Univ Nantes, INRIA, LINA, TASC,UMR 6241, F-44035 Nantes, France

来源：

INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2015 COMPUTATIONAL SCIENCE AT THE GATES OF NATURE | 2015年 / 51卷

关键词：

Set Constraints; SAT Encoding; Social Golfer Problem; Constraint Programming; CSP;

D O I：

10.1016/j.procs.2015.05.252

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Constraint Satisfaction Problems allow one to expressively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances. We thus present a technique to expressively model set constraint problems and to encode them automatically into SAT instances. Our technique is expressive and less error-prone. We apply it to the Social Golfer Problem and to symmetry breaking of the problem.

引用

页码：336 / 345

页数：10

共 50 条

[1] An improved SAT formulation for the social golfer problem
Triska, Markus
Musliu, Nysret
ANNALS OF OPERATIONS RESEARCH, 2012, 194 (01) : 427 - 438
[2] An improved SAT formulation for the social golfer problem
Markus Triska
Nysret Musliu
Annals of Operations Research, 2012, 194 : 427 - 438
[3] Set constraint model and automated encoding into SAT: application to the social golfer problem
Lardeux, Frederic
Monfroy, Eric
Crawford, Broderick
Soto, Ricardo
ANNALS OF OPERATIONS RESEARCH, 2015, 235 (01) : 423 - 452
[4] Set constraint model and automated encoding into SAT: application to the social golfer problem
Frédéric Lardeux
Eric Monfroy
Broderick Crawford
Ricardo Soto
Annals of Operations Research, 2015, 235 : 423 - 452
[5] Social Golfer Problem Revisited
Liu, Ke
Loeffler, Sven
Hofstedt, Petra
AGENTS AND ARTIFICIAL INTELLIGENCE, ICAART 2019, 2019, 11978 : 72 - 99
[6] An effective greedy heuristic for the Social Golfer Problem
Markus Triska
Nysret Musliu
Annals of Operations Research, 2012, 194 : 413 - 425
[7] A greedy algorithm for the social golfer and the Oberwolfach problem
Schmand, Daniel
Schroeder, Marc
Koch, Laura Vargas
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2022, 300 (01) : 310 - 319
[8] An effective greedy heuristic for the Social Golfer Problem
Triska, Markus
Musliu, Nysret
ANNALS OF OPERATIONS RESEARCH, 2012, 194 (01) : 413 - 425
[9] The Traveling Social Golfer Problem: The Case of the Volleyball Nations League
Lambers, Roel
Rothuizen, Laurent
Spieksma, Frits C. R.
INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, 2021, 12735 : 149 - 162
[10] Breakout Group Allocation Schedules and the Social Golfer Problem with Adjacent Group Sizes
Miller, Alice
Barr, Matthew
Kavanagh, William
Valkov, Ivaylo
Purchase, Helen C.
SYMMETRY-BASEL, 2021, 13 (01): : 1 - 17

← 1 2 3 4 5 →