Automated reencoding of boolean formulas N Manthey, MJH Heule, A Biere Haifa Verification Conference, 102-117, 2012 | 110 | 2012 |
Solving periodic event scheduling problems with SAT P Großmann, S Hölldobler, N Manthey, K Nachtigall, J Opitz, P Steinke Advanced Research in Applied Artificial Intelligence: 25th International …, 2012 | 92 | 2012 |
Coprocessor 2.0–A Flexible CNF Simplifier: (Tool Presentation) N Manthey Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012 | 85 | 2012 |
SAT-based analysis and quantification of information flow in programs V Klebanov, N Manthey, C Muise International Conference on Quantitative Evaluation of Systems, 177-192, 2013 | 80 | 2013 |
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014 | 61 | 2014 |
Improved answer-set programming encodings for abstract argumentation SA Gaggl, N Manthey, A Ronca, JP Wallner, S Woltran Theory and Practice of Logic Programming 15 (4-5), 434-448, 2015 | 51 | 2015 |
A compact encoding of pseudo-Boolean constraints into SAT S Hölldobler, N Manthey, P Steinke Annual Conference on Artificial Intelligence, 107-118, 2012 | 45 | 2012 |
A short overview on modern parallel SAT-solvers S Hölldobler, N Manthey, J Stecklina, P Steinke 2011 International Conference on Advanced Computer Science and Information …, 2011 | 42 | 2011 |
Improving resource-unaware SAT solvers S Hölldobler, N Manthey, A Saptawijaya Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 42 | 2010 |
BEACON: an efficient SAT-based tool for debugging ontologies MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016 | 40 | 2016 |
A more compact translation of pseudo-Boolean constraints into CNF such that generalized arc consistency is maintained N Manthey, T Philipp, P Steinke Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2014 | 33 | 2014 |
Designing scalable parallel SAT solvers AEJ Hyvärinen, N Manthey International Conference on Theory and Applications of Satisfiability …, 2012 | 30 | 2012 |
Soundness of inprocessing in clause sharing SAT solvers N Manthey, T Philipp, C Wernhard International Conference on Theory and Applications of Satisfiability …, 2013 | 24 | 2013 |
Efficient axiom pinpointing in EL using SAT technology N Manthey, R Penaloza, S Rudolph CEUR WORKSHOP PROCEEDINGS 1577, 2016 | 22 | 2016 |
Sharing information in parallel search with search space partitioning D Lanti, N Manthey Learning and Intelligent Optimization: 7th International Conference, LION 7 …, 2013 | 22 | 2013 |
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. A Balint, N Manthey POS@ SAT, 1-14, 2013 | 20 | 2013 |
Towards next generation sequential and parallel SAT solvers N Manthey KI-Künstliche Intelligenz 30 (3), 339-342, 2016 | 19 | 2016 |
Riss 4.27 N Manthey Proceedings of SAT Competition 2014, 2014 | 19 | 2014 |
SparrowToRiss A Balint, N Manthey Proceedings of SAT Competition, 77, 2014 | 18 | 2014 |
Parallel SAT solving-using more cores N Manthey Pragmatics of SAT (POS’11), 2011 | 18 | 2011 |