CNF and DNF succinct graph encodings B Das, P Scharpfenecker, J Torán Information and Computation 253, 436-447, 2017 | 9 | 2017 |
Succinct encodings of graph isomorphism B Das, P Scharpfenecker, J Torán International Conference on Language and Automata Theory and Applications …, 2014 | 8 | 2014 |
On the structure of solution-graphs for boolean formulas P Scharpfenecker International Symposium on Fundamentals of Computation Theory, 118-130, 2015 | 5 | 2015 |
Often harder than in the constructive case: destructive bribery in CP-nets B Dorn, D Krüger, P Scharpfenecker International Conference on Web and Internet Economics, 314-327, 2015 | 3 | 2015 |
Solution-graphs of boolean formulas and isomorphism P Scharpfenecker, J Torán Journal on Satisfiability, Boolean Modeling and Computation 10 (1), 37-58, 2016 | 2 | 2016 |
Bounded-Depth Succinct Encodings and the Structure they Imply on Graphs P Scharpfenecker Theory of Computing Systems 62 (5), 1125-1143, 2018 | 1 | 2018 |
Problems on succinctly encoded graphs P Scharpfenecker Universität Ulm, 2017 | | 2017 |
Institute of Theoretical Computer Science Teaching A für schwierige Probleme, A Spieltheorie, P Algorithmen, ... | | |