HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.