ask others

Norbert Manthey

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ki/Manthey16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ki/Manthey16
Norbert Manthey:
Towards Next Generation Sequential and Parallel SAT Solvers. KI 30(3-4): 339-342 (2016)
[c28]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/MantheyPR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/MantheyPR16
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics 2016
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/ArifMIMPM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/ArifMIMPM16
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva:
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. SAT 2016: 521-530
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/MantheyL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/MantheyL16
Norbert Manthey, Marius Lindauer:
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. SAT 2016: 554-561
2015
[b1]
- view
  - electronic edition @ nbn-resolving.de
  - electronic edition @ d-nb.info
- export record
  dblp key:
  - phd/dnb/Manthey15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/dnb/Manthey15
Norbert Manthey:
Towards Next Generation Sequential and Parallel SAT Solvers. Dresden University of Technology 2015
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/constraints/Manthey15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/constraints/Manthey15
Norbert Manthey:
Towards next generation sequential and parallel SAT solvers. Constraints 20(4): 504-505 (2015)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tplp/GagglMRWW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tplp/GagglMRWW15
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran:
Improved answer-set programming encodings for abstract argumentation. TPLP 15(4-5): 434-448 (2015)
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/IserMS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/IserMS15
Markus Iser, Norbert Manthey, Carsten Sinz:
Recognition of Nested Gates in CNF Formulas. SAT 2015: 255-271
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GagglMRWW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GagglMRWW15
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran:
Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR abs/1507.06689 (2015)
2014
[c24]
- no documents available
- export record
  dblp key:
  - conf/gi/Manthey14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gi/Manthey14
Norbert Manthey:
Modernes Sequentielles und Paralleles SAT Solving. Ausgezeichnete Informatikdissertationen 2014: 181-190
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Manthey14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Manthey14
Norbert Manthey:
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing. KI 2014: 98-110
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/MantheyP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/MantheyP14
Norbert Manthey, Tobias Philipp:
Formula Simplifications as DRAT Derivations. KI 2014: 111-122
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/MantheyPS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/MantheyPS14
Norbert Manthey, Tobias Philipp, Peter Steinke:
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. KI 2014: 123-134
[c20]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sat/HeuleMP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/HeuleMP14
Marijn Heule, Norbert Manthey, Tobias Philipp:
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. POS@SAT 2014: 12-25
[c19]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sat/AlfonsoM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/AlfonsoM14
Enrique Matos Alfonso, Norbert Manthey:
New CNF Features and Formula Classification. POS@SAT 2014: 57-71
[c18]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sat/HolldoblerMPS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/HolldoblerMPS14
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. POS@SAT 2014: 89-102
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BiereBLM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BiereBLM14
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey:
Detecting Cardinality Constraints in CNF. SAT 2014: 285-301
[c16]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ysip/HolldoblerMPS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ysip/HolldoblerMPS14
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. YSIP 2014: 25-34
2013
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/GebhardtM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/GebhardtM13
Kilian Gebhardt, Norbert Manthey:
Parallel Variable Elimination on CNF Formulas. KI 2013: 61-73
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lion/LantiM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lion/LantiM13
Davide Lanti, Norbert Manthey:
Sharing Information in Parallel Search with Search Space Partitioning. LION 2013: 52-58
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/qest/KlebanovMM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/qest/KlebanovMM13
Vladimir Klebanov, Norbert Manthey, Christian J. Muise:
SAT-Based Analysis and Quantification of Information Flow in Programs. QEST 2013: 177-192
[c12]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sat/BalintM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BalintM13
Adrian Balint, Norbert Manthey:
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. POS@SAT 2013: 1-14
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/MantheyPW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/MantheyPW13
Norbert Manthey, Tobias Philipp, Christoph Wernhard:
Soundness of Inprocessing in Clause Sharing SAT Solvers. SAT 2013: 22-39
[c10]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sat/MantheyLI13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/MantheyLI13
Norbert Manthey, Davide Lanti, Ahmed Irfan:
Modern Cooperative Parallel SAT Solving. POS@SAT 2013: 41-54
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovMM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BelovMM13
Anton Belov, Norbert Manthey, João Marques-Silva:
Parallel MUS Extraction. SAT 2013: 133-149
2012
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hvc/MantheyHB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hvc/MantheyHB12
Norbert Manthey, Marijn Heule, Armin Biere:
Automated Reencoding of Boolean Formulas. Haifa Verification Conference 2012: 102-117
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ieaaie/GrossmannHMNOS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ieaaie/GrossmannHMNOS12
Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke:
Solving Periodic Event Scheduling Problems with SAT. IEA/AIE 2012: 166-175
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/HolldoblerMS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/HolldoblerMS12
Steffen Hölldobler, Norbert Manthey, Peter Steinke:
A Compact Encoding of Pseudo-Boolean Constraints into SAT. KI 2012: 107-118
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/HyvarinenM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/HyvarinenM12
Antti Eero Johannes Hyvärinen, Norbert Manthey:
Designing Scalable Parallel SAT Solvers. SAT 2012: 214-227
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/Manthey12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/Manthey12
Norbert Manthey:
Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). SAT 2012: 436-441
2011
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/inap/Manthey11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inap/Manthey11
Norbert Manthey:
Coprocessor - a Standalone SAT Preprocessor. INAP/WLP 2011: 297-304
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1108-6208
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1108-6208
Norbert Manthey:
Coprocessor - a Standalone SAT Preprocessor. CoRR abs/1108.6208 (2011)
2010
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/HolldoblerMS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/HolldoblerMS10
Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya:
Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) 2010: 519-534
[c1]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/sat/MantheyS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/MantheyS10
Norbert Manthey, Ari Saptawijaya:
Towards Improving the Resource Usage of SAT-solvers. POS@SAT 2010: 28-40

Coauthor Index

see FAQ

maintained by

, founded at