EDBT 2026 Demo / reviewers in the wild / expert
Patrick Scharpfenecker
dblp:140/9987
· DBLP profile ↗
6ranked-venue papers
3as first author
0since 2021 · last 2018
0000-0002-2479-9158ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 3 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Computational complexity · 44% Graph algorithms and graph theory · 44% Logic in computer science · 13% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Graph algorithms and graph theory
graph representation |
0.3 | 1 | 2017 | CNF and DNF succinct graph encodings · Inf. Comput. 2017 |
Computational complexity › descriptive complexity
succinctness |
0.3 | 1 | 2017 | CNF and DNF succinct graph encodings · Inf. Comput. 2017 |
Logic in computer science
propositional logic |
0.1 | 1 | 2017 | CNF and DNF succinct graph encodings · Inf. Comput. 2017 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | Bounded-Depth Succinct Encodings and the Structure they Imply on Graphs
Patrick Scharpfenecker |
Theory Comput. Syst. | 1 |
| 2017 | CNF and DNF succinct graph encodings
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán |
Inf. Comput. | 2 |
| 2016 | Solution-Graphs of Boolean Formulas and Isomorphism
Patrick Scharpfenecker, Jacobo Torán |
SAT | 1 |
| 2015 | On the Structure of Solution-Graphs for Boolean Formulas
Patrick Scharpfenecker |
FCT | 1 |
| 2015 | Often Harder than in the Constructive Case: Destructive Bribery in CP-netsabstractWe study the complexity of the destructive bribery problem (an external agent tries to prevent a disliked candidate from winning by bribery actions) in voting over combinatorial domains, where the set of candidates is the Cartesian product of several issues. This problem is related to the concept of the margin of victory of an election which constitutes a measure of robustness of the election outcome and plays an important role in the context of electronic voting. In our setting, voters have conditional preferences over assignments to these issues, modelled by CP-nets. We settle the complexity of all combinations of this problem based on distinctions of four voting rules, five cost schemes, three bribery actions, weighted and unweighted voters, as well as the negative and the non-negative scenario. We show that almost all of these cases are $$\mathcal {NP}$$ -complete or $$\mathcal {NP}$$ -hard for weighted votes while approximately half of the cases can be solved in polynomial time for unweighted votes. Britta Dorn, Dominikus Krüger, Patrick Scharpfenecker |
WINE | 3 |
| 2014 | Succinct Encodings of Graph Isomorphism
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán |
LATA | 2 |