The following pages link to Marius Lindauer (Q286384):
Displaying 14 items.
- ASlib: a benchmark library for algorithm selection (Q286390) (← links)
- (Q502386) (redirect page) (← links)
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- Automatic construction of parallel portfolios via algorithm configuration (Q511786) (← links)
- Efficient benchmarking of algorithm configurators via model-based surrogates (Q1707462) (← links)
- The algorithm selection competitions 2015 and 2017 (Q2321293) (← links)
- SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers (Q2818043) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (Q3453227) (← links)
- aspeed: Solver scheduling via answer set programming (Q4592974) (← links)
- (Q5054669) (← links)
- (Q5149039) (← links)
- Pitfalls and Best Practices in Algorithm Configuration (Q5376630) (← links)
- Automated Dynamic Algorithm Configuration (Q5870531) (← links)