The Configurable SAT Solver Challenge (CSSC) (Englisch)
- Neue Suche nach: Hutter, Frank
- Neue Suche nach: Hutter, Frank
- Neue Suche nach: Lindauer, Marius
- Neue Suche nach: Balint, Adrian
- Neue Suche nach: Bayless, Sam
- Neue Suche nach: Hoos, Holger
- Neue Suche nach: Leyton-Brown, Kevin
In:
Artificial intelligence
;
243
; 1-25
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:The Configurable SAT Solver Challenge (CSSC)
-
Beteiligte:Hutter, Frank ( Autor:in ) / Lindauer, Marius / Balint, Adrian / Bayless, Sam / Hoos, Holger / Leyton-Brown, Kevin
-
Erschienen in:Artificial intelligence ; 243 ; 1-25
-
Verlag:
- Neue Suche nach: Elsevier
-
Erscheinungsort:Amsterdam
-
Erscheinungsdatum:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.72
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.72 Künstliche Intelligenz -
Datenquelle:
Inhaltsverzeichnis – Band 243
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
The Configurable SAT Solver Challenge (CSSC)Hutter, Frank et al. | 2017
- 26
-
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiabilityLuo, Chuan et al. | 2017
- 45
-
Query efficient posterior estimation in scientific experiments via Bayesian active learningKandasamy, Kirthevasan et al. | 2017
-
Editorial Board| 2017