BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
1 × Italy
1 × USA
Collaborated with:
A.E.J.Hyvärinen M.Iser C.Sinz A.Belov J.Marques-Silva T.Philipp C.Wernhard A.Biere D.L.Berre E.Lonca S.A.Gaggl A.Ronca J.P.Wallner S.Woltran
Talks about:
cnf (3) parallel (2) solver (2) sat (2) coprocessor (1) constraint (1) inprocess (1) simplifi (1) recognit (1) argument (1)

Person: Norbert Manthey

DBLP DBLP: Manthey:Norbert

Contributed to:

ICLP 20152015
SAT 20152015
SAT 20142014
SAT 20132013
SAT 20122012

Wrote 7 papers:

ICLP-J-2015-GagglMRWW #encoding #programming
Improved answer-set programming encodings for abstract argumentation (SAG, NM, AR, JPW, SW), pp. 434–448.
SAT-2015-IserMS #recognition
Recognition of Nested Gates in CNF Formulas (MI, NM, CS), pp. 255–271.
SAT-2014-BiereBLM #constraints #detection
Detecting Cardinality Constraints in CNF (AB, DLB, EL, NM), pp. 285–301.
SAT-2013-BelovMM #parallel
Parallel MUS Extraction (AB, NM, JMS), pp. 133–149.
SAT-2013-MantheyPW #satisfiability
Soundness of Inprocessing in Clause Sharing SAT Solvers (NM, TP, CW), pp. 22–39.
SAT-2012-HyvarinenM #design #parallel #satisfiability #scalability
Designing Scalable Parallel SAT Solvers (AEJH, NM), pp. 214–227.
SAT-2012-Manthey #flexibility
Coprocessor 2.0 — A Flexible CNF Simplifier — (NM), pp. 436–441.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.