Eintrag weiter verarbeiten
Expressively Modeling the Social Golfer Problem in SAT
Gespeichert in:
Zeitschriftentitel: | Procedia Computer Science |
---|---|
Personen und Körperschaften: | , |
In: | Procedia Computer Science, 51, 2015, S. 336-345 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |