Dr. Patrick Scharpfenecker
Interessen
- Komplexitätstheorie
- Algorithmen
- Isomorphieprobleme auf Graphen, Gruppen und anderen algebraischen Strukturen
Lehre
- Proseminar Algorithmen (SS15)
- Berechenbarkeit und Komplexität (SS15)
- Proseminar Algorithmen (SS17)
- Logik (SS17)
Publikationen
- B. Das, P. Scharpfenecker, J. Torán
CNF and DNF succinct graph encodings
In: Information and Computation 253, Part 3 (2017). Seiten 436-447.
Siehe auch: Succinct Encodings of Graph Isomorphism
In Proceedings: Language and Automata Theory and Applications 2014. Seiten 285-296.
Siehe auch: ECCC - P. Scharpfenecker, J. Torán
Solution-Graphs of Boolean Formulas and Isomorphism
In Proceedings: 19th International Conference on Theory and Applications of Satisfiability Testing. Seiten 29-44.
Siehe auch: ECCC - B. Dorn, D. Krüger, P. Scharpfenecker
Often Harder than in the Constructive Case: Destructive Bribery in CP-nets
In Proceedings: Conference on Web and Internet Economics 2015. Seiten 314-327.
Siehe auch: arXiv - P. Scharpfenecker
On the Structure of Solution-Graphs for Boolean Formulas
In Proceedings: Fundamentals of Computation Theory 2015. Seiten 118-130.
Siehe auch: ECCC - P. Scharpfenecker
Bounded-Depth Succinct Encodings and the Structure they Imply on Graphs
In: Theory of Computing Systems (2017). Seiten 1-19.
Funktion
Wissenschaftlicher Angestellter