Set constraint model and automated encoding into SAT application to the social golfer problem

Bibliographische Detailangaben

Veröffentlicht in:	Annals of operations research ; 235
1. Verfasser:	Lardeux, Frédéric (VerfasserIn)
Weitere Verfasser:	Monfroy, Eric (VerfasserIn), Crawford, Broderick (VerfasserIn), Soto, Ricardo (VerfasserIn)
Pages:	235
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2015
Schlagworte:	Aufsatz im Buch
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!