Keyword:Algorithm Configuration

Papers
Algorithmic Configuration by Learning and Optimization Claudia D'Ambrosio, Antonio Frangioni, Gabriele Iommazzo and Leo Liberti EasyChair Preprint no. 2634
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning Adrian Balint and Norbert Manthey In:POS-13. Pragmatics of SAT 2013