Follow
Norbert Manthey
Norbert Manthey
Verified email at tu-dresden.de
Title
Cited by
Cited by
Year
Automated reencoding of boolean formulas
N Manthey, MJH Heule, A Biere
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
922013
Coprocessor 2.0–A Flexible CNF Simplifier: (Tool Presentation)
N Manthey
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
852012
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
842012
SAT-based analysis and quantification of information flow in programs
V Klebanov, N Manthey, C Muise
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
732013
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
572014
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
502015
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
412011
A compact encoding of pseudo-Boolean constraints into SAT
S Hölldobler, N Manthey, P Steinke
KI 2012: Advances in Artificial Intelligence: 35th Annual German Conference …, 2012
392012
Improving resource-unaware SAT solvers
S Hölldobler, N Manthey, A Saptawijaya
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
392010
BEACON: an efficient SAT-based tool for debugging ontologies
MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
352016
Designing scalable parallel SAT solvers
AEJ Hyvärinen, N Manthey
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
292012
A more compact translation of pseudo-Boolean constraints into CNF such that generalized arc consistency is maintained
N Manthey, T Philipp, P Steinke
KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference …, 2014
282014
Soundness of inprocessing in clause sharing SAT solvers
N Manthey, T Philipp, C Wernhard
Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013
242013
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.
A Balint, N Manthey
POS@ SAT, 1-14, 2013
202013
Sharing information in parallel search with search space partitioning
D Lanti, N Manthey
Learning and Intelligent Optimization: 7th International Conference, LION 7 …, 2013
202013
Efficient Axiom Pinpointing in EL using SAT Technology.
N Manthey, R Penaloza, S Rudolph
Description Logics, 2016
192016
SparrowToRiss
A Balint, N Manthey
Belov et al.[3], 77-78, 2014
182014
Riss 4.27
N Manthey
Proceedings of SAT Competition 2014, 2014
182014
Parallel SAT solving-using more cores
N Manthey
Pragmatics of SAT (POS’11), 2011
182011
Towards next generation sequential and parallel SAT solvers
N Manthey
KI-Künstliche Intelligenz 30 (3-4), 339-342, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20