Robust Benchmark Set Selection for Boolean Constraint Solvers.

Holger H. Hoos; Benjamin Kaufmann; Torsten Schaub; Marius Schneider

doi:10.1007/978-3-642-44973-4_16

Details

Originalsprache	undefiniert/unbekannt
Titel des Sammelwerks	LION
Seiten	138-152
Seitenumfang	15
Publikationsstatus	Veröffentlicht - 2013

Zitieren

Robust Benchmark Set Selection for Boolean Constraint Solvers. / Hoos, Holger H.; Kaufmann, Benjamin; Schaub, Torsten et al.
LION. 2013. S. 138-152.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Hoos, HH, Kaufmann, B, Schaub, T & Schneider, M 2013, Robust Benchmark Set Selection for Boolean Constraint Solvers. in LION. S. 138-152. https://doi.org/10.1007/978-3-642-44973-4_16

Hoos, H. H., Kaufmann, B., Schaub, T., & Schneider, M. (2013). Robust Benchmark Set Selection for Boolean Constraint Solvers. In LION (S. 138-152) https://doi.org/10.1007/978-3-642-44973-4_16

Hoos HH, Kaufmann B, Schaub T, Schneider M. Robust Benchmark Set Selection for Boolean Constraint Solvers. in LION. 2013. S. 138-152 doi: 10.1007/978-3-642-44973-4_16

Hoos, Holger H. ; Kaufmann, Benjamin ; Schaub, Torsten et al. / Robust Benchmark Set Selection for Boolean Constraint Solvers. LION. 2013. S. 138-152

Download

@inproceedings{ed5e7e64edc04be58285a4803760f577,

title = "Robust Benchmark Set Selection for Boolean Constraint Solvers.",

author = "Hoos, {Holger H.} and Benjamin Kaufmann and Torsten Schaub and Marius Schneider",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2013",

doi = "10.1007/978-3-642-44973-4_16",

language = "Undefined/Unknown",

pages = "138--152",

booktitle = "LION",

}

Download

TY - GEN

T1 - Robust Benchmark Set Selection for Boolean Constraint Solvers.

AU - Hoos, Holger H.

AU - Kaufmann, Benjamin

AU - Schaub, Torsten

AU - Schneider, Marius

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-44973-4_16

DO - 10.1007/978-3-642-44973-4_16

M3 - Aufsatz in Konferenzband

SP - 138

EP - 152

BT - LION

ER -

Research@Leibniz University

Robust Benchmark Set Selection for Boolean Constraint Solvers.

Autoren

Organisationseinheiten

Details

Zitieren

Von denselben Autoren

Verfahren zum Trainieren eines Algorithmus des maschinellen Lernens durch ein bestärkendes Lernverfahren

Interactive Hyperparameter Optimization in Multi-Objective Problems via Preference Learning

AutoML: advanced tool for mining multivariate plant traits

Hyperparameters in Reinforcement Learning and How to Tune Them

Application of machine learning for fleet-based condition monitoring of ball screw drives in machine tools