Auflistung nach Autor "Manthey, Norbert"
Anzeige der Dokumente 1-4 von 4
-
Ausgezeichnete Informatikdissertationen 2014
Angerer, Andreas; Auer, Christopher; Berkholz, Christoph; Bermbach, David; Bringmann, Karl; Cano, Estefania; Distler, Tobias; Gisbrecht, Andrej; Herrmann, Dominik; Hoffmann, Steve; Hufsky, Franziska; Kirchner, Elsa Andrea; Klambauer, Günter; Lanthaler, Markus; Lawonn, Kai; Lemmerich, Florian; Linden, Sven; Manthey, Norbert; Michels, Dominik L.; Mühlbach, Sascha; Reuter, Christian; Rieke, Jahn; Rohr, David; Sallinger, Emanuel; Samek, Wojciech; Schmidt, Melanie; Tauheed, Farhan; Tschuggnall, Michael; Wenger, Stephan; Ziller, Michael J.
-
Modernes sequentielles und paralleles SAT Solving
Manthey, Norbert
181-190 -
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT
Manthey, Norbert; Peñaloza, Rafael; Rudolph, Sebastian
389-394 -
Towards Next Generation Sequential and Parallel SAT Solvers
Manthey, Norbert
339-342

