Norbert Manthey

Cited by

	All	Since 2016
Citations	946	579
h-index	17	12
i10-index	29	18

140

105

20102011201220132014201520162017201820192020202110 20 16 70 115 130 134 139 83 85 114 24

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Peter SteinkeTU Dresden, InformatikVerified email at tu-dresden.de
Armin BiereJohannes Kepler University LinzVerified email at jku.at
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-DresdenVerified 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 IrfanAmazon Web Services (AWS)Verified email at cs.stanford.edu
Sebastian RudolphTechnische Universität DresdenVerified email at tu-dresden.de
Antti E. J. HyvärinenPostdoc, Università della Svizzera italianaVerified email at usi.ch
M. Fareed ArifThe Unviersity of IowaVerified email at uiowa.edu
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
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	76	2012
Coprocessor 2.0–a flexible CNF simplifier N Manthey International Conference on Theory and Applications of Satisfiability …, 2012	74	2012
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	69	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	57	2013
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014	50	2014
Improved answer-set programming encodings for abstract argumentation SA Gaggl, N Manthey, A Ronca, JP Wallner, S Woltran arXiv preprint arXiv:1507.06689, 2015	40	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	36	2011
Improving resource-unaware SAT solvers S Hölldobler, N Manthey, A Saptawijaya International Conference on Logic for Programming Artificial Intelligence …, 2010	35	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	26	2016
Designing scalable parallel SAT solvers AEJ Hyvärinen, N Manthey International Conference on Theory and Applications of Satisfiability …, 2012	26	2012
A compact encoding of pseudo-Boolean constraints into SAT S Hölldobler, N Manthey, P Steinke Annual Conference on Artificial Intelligence, 107-118, 2012	25	2012
Soundness of inprocessing in clause sharing SAT solvers N Manthey, T Philipp, C Wernhard International Conference on Theory and Applications of Satisfiability …, 2013	23	2013
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	22	2014
Sharing information in parallel search with search space partitioning D Lanti, N Manthey International Conference on Learning and Intelligent Optimization, 52-58, 2013	19	2013
Parallel SAT solving-using more cores N Manthey Pragmatics of SAT (POS’11), 2011	19	2011
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. A Balint, N Manthey POS@ SAT, 1-14, 2013	18	2013
Riss 4.27 N Manthey Proceedings of SAT Competition 2014, 2014	17	2014
Efficient Axiom Pinpointing in EL using SAT Technology. N Manthey, R Peñaloza, S Rudolph Description Logics, 2016	16	2016
The SAT solver Riss3g at SC 2013 N Manthey Proceedings of SAT Competition, 72, 2013	15	2013
Towards next generation sequential and parallel SAT solvers N Manthey KI-Künstliche Intelligenz 30 (3), 339-342, 2016	14	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

Upload PDF

Follow this author

Cited by

Co-authors