Eintrag weiter verarbeiten
The Configurable SAT Solver Challenge (CSSC)
Gespeichert in:
Zeitschriftentitel: | Artificial Intelligence |
---|---|
Personen und Körperschaften: | , , , , , |
In: | Artificial Intelligence, 243, 2017, S. 1-25 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |
Umfang: | 1-25 |
---|---|
ISSN: |
0004-3702
|
DOI: | 10.1016/j.artint.2016.09.006 |