An improved SAT formulation for the social golfer problem
| Year of publication: |
2012
|
|---|---|
| Authors: | Triska, Markus ; Musliu, Nysret |
| Published in: |
Annals of operations research. - New York, NY [u.a.] : Springer Science + Business Media, ISSN 0254-5330, ZDB-ID 2526293. - Vol. 194.2012, 1, p. 427-439
|