Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Patrick Scharpfenecker

dblp:140/9987 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Graph algorithms and graph theory
graph representation
0.312017
CNF and DNF succinct graph encodings · Inf. Comput. 2017
Computational complexity › descriptive complexity
succinctness
0.312017
CNF and DNF succinct graph encodings · Inf. Comput. 2017
Logic in computer science
propositional logic
0.112017
CNF and DNF succinct graph encodings · Inf. Comput. 2017
YearPublicationVenuePosition
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
SAT1
2015 On the Structure of Solution-Graphs for Boolean Formulas
Patrick Scharpfenecker
FCT1
2015 Often Harder than in the Constructive Case: Destructive Bribery in CP-nets
abstract
We 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
WINE3
2014 Succinct Encodings of Graph Isomorphism
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán
LATA2