Norbert Manthey
Norbert Manthey
TU Dresden
Bestätigte E-Mail-Adresse bei tu-dresden.de
Titel
Zitiert von
Zitiert von
Jahr
Automated reencoding of boolean formulas
N Manthey, MJH Heule, A Biere
Haifa Verification Conference, 102-117, 2012
752012
Coprocessor 2.0–a flexible CNF simplifier
N Manthey
International Conference on Theory and Applications of Satisfiability …, 2012
722012
Solving periodic event scheduling problems with SAT
P Großmann, S Hölldobler, N Manthey, K Nachtigall, J Opitz, P Steinke
International conference on industrial, engineering and other applications …, 2012
692012
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
572013
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2014
482014
Improved answer-set programming encodings for abstract argumentation
SA Gaggl, N Manthey, A Ronca, JP Wallner, S Woltran
arXiv preprint arXiv:1507.06689, 2015
392015
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
362011
Improving resource-unaware SAT solvers
S Hölldobler, N Manthey, A Saptawijaya
International Conference on Logic for Programming Artificial Intelligence …, 2010
352010
Designing scalable parallel SAT solvers
AEJ Hyvärinen, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2012
262012
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
252016
A compact encoding of pseudo-Boolean constraints into SAT
S Hölldobler, N Manthey, P Steinke
Annual Conference on Artificial Intelligence, 107-118, 2012
252012
Soundness of inprocessing in clause sharing SAT solvers
N Manthey, T Philipp, C Wernhard
International Conference on Theory and Applications of Satisfiability …, 2013
232013
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
222014
Sharing information in parallel search with search space partitioning
D Lanti, N Manthey
International Conference on Learning and Intelligent Optimization, 52-58, 2013
192013
Parallel SAT solving-using more cores
N Manthey
Pragmatics of SAT (POS’11), 2011
192011
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.
A Balint, N Manthey
POS@ SAT, 1-14, 2013
182013
Riss 4.27
N Manthey
Proceedings of SAT Competition 2014, 2014
172014
Efficient Axiom Pinpointing in EL using SAT Technology.
N Manthey, R Peñaloza, S Rudolph
Description Logics, 2016
162016
Towards next generation sequential and parallel SAT solvers
N Manthey
KI-Künstliche Intelligenz 30 (3), 339-342, 2016
142016
The SAT solver Riss3g at SC 2013
N Manthey
Proceedings of SAT Competition, 72, 2013
142013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20