Robust Benchmark Set Selection for Boolean Constraint Solvers.

Details

Organisation(s)

Machine Learning Section

Type

Conference contribution

Pages

138-152

No. of pages

15

Publication date

2013

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

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