Keyword:SAT solving

Publications
Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition Bernardo Subercaseaux In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
RAT Elimination Adrian Rebola Pardo and Georg Weissenbacher In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Coloring Unit-Distance Strips using SAT Peter Oostema, Ruben Martins and Marijn Heule In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Theory of Satisfiability-Preserving Proofs in SAT Solving Adrián Rebola-Pardo and Martin Suda In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Knowledge Compilation meets Uniform Sampling Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Towards a Semantics of Unsatisfiability Proofs with Inprocessing Tobias Philipp and Adrián Rebola-Pardo In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SAT solving experiments in Vampire Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
SAT-Based Techniques for Integer Linear Constraints Robert Nieuwenhuis In:GCAI 2015. Global Conference on Artificial Intelligence
Post Mortem Analysis of SAT Solver Proofs Laurent Simon 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
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning Adrian Balint and Norbert Manthey In:POS-13. Pragmatics of SAT 2013
Practical Aspects of SAT Solving Armin Biere In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Towards Improving the Resource Usage of SAT-solvers Norbert Manthey and Ari Saptawijaya In:POS-10. Pragmatics of SAT