Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Norbert Manthey
Abschlussarbeiten anzeigen 1  +
Akademischer Titel Dr.  +
Bild Norbert.jpg  +
DBLP http://www.informatik.uni-trier.de/~ley/pers/hc/m/Manthey:Norbert.html  +
Ehemaliger 1  +
Forschungsgebiet Wissensrepräsentation und logisches Schließen + , Logic and Decision Procedures +
Forschungsgruppe Wissensverarbeitung +
Forschungsgruppe EN Knowledge Representation and Reasoning +
Gebäude APB  +
Google Scholar http://scholar.google.com/citations?user=9nS523QAAAAJ  +
Image Datei:Norbert.jpg +
Info EN I finished my Computer Science studies at
I finished my Computer Science studies at the TU Dresden, Germany, in the December of 2010 and now I work in the institute of Artificial Intelligence. I am mostly interested in SAT solving, especially solving by exploiting modern multi core CPUs. Over the years, I developped several tools that either solve SAT or SAT related problems (for example Max-SAT, MUS, model enumeration), and also created the stand-alone CNF simplifier Coprocessor, which ships with most of the known CNF simplification techniques. After defending my dissertation in December 2014 I am now looking to apply SAT technology into other research areas as well as to industrial problems.
h areas as well as to industrial problems.  +
Nachname Manthey  +
Name Norbert Manthey  +
Publikationen anzeigen 1  +
Raum APB 2021 +
Stellung Wissenschaftlicher Mitarbeiter  +
Telefon +49 351 463 38520  +
Vorname Norbert  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Norbert Manthey + , Norbert Manthey + , Norbert Manthey + , Norbert Manthey + , Norbert Manthey + , Norbert Manthey + , Norbert Manthey + , Norbert Manthey +
Kategorien Mitarbeiter
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
22 November 2016 20:12:52  +
E-Mail
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
norbert.manthey@tu-dresden.de  +
verstecke Attribute die hierhin verlinken 
Article3014 + , Article3015 + , Inproceedings3031 + , Inproceedings3082 + , Misc3003 + , Misc3025 + , Misc3026 + , Misc3027 + , Misc3049 + , Misc3050 + , Misc3051 + , Misc3052 + , Phdthesis3002 + , Techreport3010 + , Techreport3030 + , Techreport3031 + , Techreport3036 + , WVPub111 + , WVPub112 + , WVPub113 + ... Author
Thema3416 + , Thema3415 + , Thema3417 + , Thema3419 + , Thema3418 + Betreuer
SAT-Solving und das Lösen von Sudokus (SS2015) + Lecturer
Aktivitaet2017 + , Aktivitaet2018 + , Aktivitaet2020 + , Award1024 + Person
PSAT + Project Authors
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.