Norbert Manthey

Cited by

	All	Since 2018
Citations	1147	501
h-index	18	11
i10-index	32	13

140

105

2010201120122013201420152016201720182019202020212022202310 19 16 74 117 129 136 137 88 94 117 103 89 10

Public access

View all

11 articles

1 article

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
Adrian BalintUlm UniversityVerified email at uni-ulm.de
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-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Ari SaptawijayaFaculty of Computer Science, Universitas IndonesiaVerified email at cs.ui.ac.id
Ahmed IrfanSRI InternationalVerified email at cs.stanford.edu
Sebastian RudolphTechnische Universität DresdenVerified email at tu-dresden.de
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ärinenPostdoc, Università della Svizzera italianaVerified email at usi.ch
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 Hardware and Software: Verification and Testing: 8th International Haifa …, 2013	92	2013
Coprocessor 2.0–A Flexible CNF Simplifier: (Tool Presentation) N Manthey Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012	85	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	84	2012
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	73	2013
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	57	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	50	2015
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	41	2011
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	39	2012
Improving resource-unaware SAT solvers S Hölldobler, N Manthey, A Saptawijaya Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	39	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 Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016	35	2016
Designing scalable parallel SAT solvers AEJ Hyvärinen, N Manthey Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012	29	2012
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	28	2014
Soundness of inprocessing in clause sharing SAT solvers N Manthey, T Philipp, C Wernhard Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013	24	2013
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. A Balint, N Manthey POS@ SAT, 1-14, 2013	20	2013
Sharing information in parallel search with search space partitioning D Lanti, N Manthey Learning and Intelligent Optimization: 7th International Conference, LION 7 …, 2013	20	2013
Efficient Axiom Pinpointing in EL using SAT Technology. N Manthey, R Penaloza, S Rudolph Description Logics, 2016	19	2016
SparrowToRiss A Balint, N Manthey Belov et al.[3], 77-78, 2014	18	2014
Riss 4.27 N Manthey Proceedings of SAT Competition 2014, 2014	18	2014
Parallel SAT solving-using more cores N Manthey Pragmatics of SAT (POS’11), 2011	18	2011
Towards next generation sequential and parallel SAT solvers N Manthey KI-Künstliche Intelligenz 30 (3-4), 339-342, 2016	16	2016

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