Norbert Manthey

Cited by

	All	Since 2019
Citations	1312	559
h-index	19	12
i10-index	37	17

160

120

20102011201220132014201520162017201820192020202120222023202410 17 15 76 119 134 143 132 94 89 114 109 86 93 67

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Peter SteinkeTU Dresden, InformatikVerified email at tu-dresden.de
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Rafael PeñalozaUniversity of Milano-BicoccaVerified email at unimib.it
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Davide LantiAssistant Professor of Computer Science, Free University of Bozen-BolzanoVerified email at unibz.it
Julian StecklinaEngineer at Cyberus TechnologyVerified email at os.inf.tu-dresden.de
Sarah GagglTU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation GroupVerified email at tu-dresden.de
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Ari SaptawijayaFaculty of Computer Science, Universitas IndonesiaVerified email at cs.ui.ac.id
Sebastian RudolphTechnische Universität Dresden and ScaDS.AIVerified email at tu-dresden.de
Ahmed IrfanSRI InternationalVerified email at cs.stanford.edu
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
M. Fareed ArifUniversity of OxfordVerified email at cs.ox.ac.uk
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Christian MuiseQueen's UniversityVerified email at queensu.ca
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
Enrique Matos AlfonsoNational Technical University of AthensVerified email at image.ece.ntua.gr
Van-Hau NguyenHung Yen University of Technology and EducationVerified email at utehy.edu.vn

Norbert Manthey

TU Dresden

Verified email at tu-dresden.de

SAT Solving Parallel Computing MaxSAT PB Solving


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automated reencoding of boolean formulas N Manthey, MJH Heule, A Biere Haifa Verification Conference, 102-117, 2012	113	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	95	2012
Coprocessor 2.0–A Flexible CNF Simplifier: (Tool Presentation) N Manthey Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012	87	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	83	2013
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014	63	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	55	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	43	2011
Improving resource-unaware SAT solvers S Hölldobler, N Manthey, A Saptawijaya Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	43	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	41	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	34	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	28	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
SparrowToRiss A Balint, N Manthey Proceedings of SAT Competition, 77, 2014	19	2014
Riss 4.27 N Manthey Proceedings of SAT Competition 2014, 2014	19	2014
Parallel SAT solving-using more cores N Manthey Pragmatics of SAT (POS’11), 2011	19	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors