Robust Benchmark Set Selection for Boolean Constraint Solvers.

Details

Organisationseinheit(en)

Fachgebiet Maschinelles Lernen

Typ

Aufsatz in Konferenzband

Seiten

138-152

Anzahl der Seiten

15

Publikationsdatum

2013

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

Elektronische Version(en)

https://doi.org/10.1007/978-3-642-44973-4_16 (Zugang: Unbekannt )
https://dblp.org/db/conf/lion/lion2013.html#HoosKSS13 (Zugang: Unbekannt )
https://dblp.org/db/conf/lion/2013 (Zugang: Unbekannt )