Concepedia

Norbert Manthey

NM

3

Publications

66

Citations

3

H-Index

2011

Active since

Affiliations

Technische Universität Dresden(Current)

Norbert Manthey is an author at Technische Universität Dresden specializing in engineering, computer science, and parallel programming.

Top concepts

Publications per year

2011–2015

3

Publications

3

Improved answer-set programming encodings for abstract argumentation

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca et al. · Theory and Practice of Logic Programming · 2015 · 30 citations · Full text

, , +17

A short overview on modern parallel SAT-solvers

Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen et al. · International Conference on Advanced Computer Science and Information Systems · 2011 · 25 citations

, , +13

Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation).

Norbert Manthey · Theory and Applications of Satisfiability Testing · 2012 · 11 citations

, , +12

Rows per page

1–3 of 3