Keyword:Algorithm Configuration

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