An improved SAT formulation for the social golfer problem
type: Item
instance of: scholarly article
title: An improved SAT formulation for the social golfer problem
zbMATH Open document ID: 1251.90194
author: Markus Triska
author: Nysret Musliu
published in: Annals of Operations Research
publication date: 2012-11-15T00:00:00Z
Mathematics Subject Classification ID: 90B35
Mathematics Subject Classification ID: 90C27
zbMATH DE Number: 6107423
zbMATH Keywords: sports scheduling
zbMATH Keywords: combinatorial optimization
zbMATH Keywords: design theory
zbMATH Keywords: finite geometry
describes a project that uses: Walksat
describes a project that uses: CSPLib
describes a project that uses: SATO
describes a project that uses: DIMACS
MaRDI profile type: Publication
full work available at URL: s10479-010-0702-5
OpenAlex ID: W2023331514
cites work: Q4338936
cites work: Solving Kirkman's schoolgirl problem in a few seconds
cites work: The complexity of completing partial Latin squares
cites work: Q4873725
cites work: Scheduling Social Golfers Locally
cites work: Propagation algorithms for lexicographic ordering constraints
cites work: Solving the MOLR and Social Golfers Problems
cites work: Q5687271
DOI: 10.1007/S10479-010-0702-5
description: scientific article; zbMATH DE number 6107423