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: Manthey:Norbert
Contributed to:
2015
2015201420132012Wrote 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.