Norbert Manthey
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2016
- [j3]Norbert Manthey:
Towards Next Generation Sequential and Parallel SAT Solvers. KI 30(3-4): 339-342 (2016) - [c28]Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics 2016 - [c27]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]Norbert Manthey, Marius Lindauer:
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. SAT 2016: 554-561 - 2015
- [b1]Norbert Manthey:
Towards Next Generation Sequential and Parallel SAT Solvers. Dresden University of Technology 2015 - [j2]Norbert Manthey:
Towards next generation sequential and parallel SAT solvers. Constraints 20(4): 504-505 (2015) - [j1]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]Markus Iser, Norbert Manthey, Carsten Sinz:
Recognition of Nested Gates in CNF Formulas. SAT 2015: 255-271 - [i2]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]Norbert Manthey:
Modernes Sequentielles und Paralleles SAT Solving. Ausgezeichnete Informatikdissertationen 2014: 181-190 - [c23]Norbert Manthey:
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing. KI 2014: 98-110 - [c22]
- [c21]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]Marijn Heule, Norbert Manthey, Tobias Philipp:
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. POS@SAT 2014: 12-25 - [c19]Enrique Matos Alfonso, Norbert Manthey:
New CNF Features and Formula Classification. POS@SAT 2014: 57-71 - [c18]Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. POS@SAT 2014: 89-102 - [c17]Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey:
Detecting Cardinality Constraints in CNF. SAT 2014: 285-301 - [c16]Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. YSIP 2014: 25-34 - 2013
- [c15]
- [c14]Davide Lanti, Norbert Manthey:
Sharing Information in Parallel Search with Search Space Partitioning. LION 2013: 52-58 - [c13]Vladimir Klebanov, Norbert Manthey, Christian J. Muise:
SAT-Based Analysis and Quantification of Information Flow in Programs. QEST 2013: 177-192 - [c12]Adrian Balint, Norbert Manthey:
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. POS@SAT 2013: 1-14 - [c11]Norbert Manthey, Tobias Philipp, Christoph Wernhard:
Soundness of Inprocessing in Clause Sharing SAT Solvers. SAT 2013: 22-39 - [c10]Norbert Manthey, Davide Lanti, Ahmed Irfan:
Modern Cooperative Parallel SAT Solving. POS@SAT 2013: 41-54 - [c9]
- 2012
- [c8]Norbert Manthey, Marijn Heule, Armin Biere:
Automated Reencoding of Boolean Formulas. Haifa Verification Conference 2012: 102-117 - [c7]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]Steffen Hölldobler, Norbert Manthey, Peter Steinke:
A Compact Encoding of Pseudo-Boolean Constraints into SAT. KI 2012: 107-118 - [c5]Antti Eero Johannes Hyvärinen, Norbert Manthey:
Designing Scalable Parallel SAT Solvers. SAT 2012: 214-227 - [c4]Norbert Manthey:
Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). SAT 2012: 436-441 - 2011
- [c3]
- [i1]
- 2010
- [c2]Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya:
Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) 2010: 519-534 - [c1]Norbert Manthey, Ari Saptawijaya:
Towards Improving the Resource Usage of SAT-solvers. POS@SAT 2010: 28-40
Coauthor Index
last updated on 2019-01-23 00:29 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint