Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Adrian Balint
Publications
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Adrian Balint
and
Norbert Manthey
In
:
POS-13. Pragmatics of SAT 2013
Keyphrases
Algorithm Configuration
,
SAT preprocessing
,
SAT solving
.
Copyright © 2012-2024 easychair.org. All rights reserved.
