Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adrian Balint, Norbert Manthey. Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. In Daniel Le Berre, editor, POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland. Volume 29 of EPiC Series, pages 1-14, EasyChair, 2013. [doi]

This author has not been identified. Look up 'Adrian Balint' in GoogleThis author has not been identified. Look up 'Norbert Manthey' in Google

runs on WebDSL