Author:Norbert Manthey

Publications
Checking Unsatisfiability Proofs in Parallel Norbert Manthey and Tobias Philipp In:Proceedings of Pragmatics of SAT 2015 and 2018
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers Marijn Heule, Norbert Manthey and Tobias Philipp In:POS-14. Fifth Pragmatics of SAT workshop
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers Steffen Hölldobler, Norbert Manthey, Tobias Philipp and Peter Steinke In:POS-14. Fifth Pragmatics of SAT workshop
New CNF Features and Formula Classification Enrique Alfonso and Norbert Manthey In:POS-14. Fifth Pragmatics of SAT workshop
Modern Cooperative Parallel SAT Solving Norbert Manthey, Davide Lanti and Ahmed Irfan In:POS-13. Pragmatics of SAT 2013
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning Adrian Balint and Norbert Manthey In:POS-13. Pragmatics of SAT 2013
Towards Improving the Resource Usage of SAT-solvers Norbert Manthey and Ari Saptawijaya In:POS-10. Pragmatics of SAT

Keyphrases

abstraction, Algorithm Configuration, cache analysis, CDCL algorithm, clause sharing², CNF formulas, cooperative parallelization, feature extraction, Iterative partitioning, look-ahead, machine learning, parallel SAT solving, parallel satisfiability solver, SAT preprocessing, SAT solving⁴, Search Space Splitting, transition system, unsatisfiability proof.