Patrick Scharpfenecker

12 papers A 1B 1C 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2018 J jnl
Bounded-Depth Succinct Encodings and the Structure they Imply on Graphs.
Theory Comput. Syst.
Patrick Scharpfenecker
2017 J jnl
CNF and DNF succinct graph encodings.
Inf. Comput.
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán
2017 — —
Problems on succinctly encoded graphs
Patrick Scharpfenecker
2016 A conf
Solution-Graphs of Boolean Formulas and Isomorphism.
SAT
Patrick Scharpfenecker, Jacobo Torán
2016 J jnl
Solution-Graphs of Boolean Formulas and Isomorphism.
Electron. Colloquium Comput. Complex.
Patrick Scharpfenecker, Jacobo Torán
2016 J jnl
Solution-Graphs of Boolean Formulas and Isomorphism.
J. Satisf. Boolean Model. Comput.
Patrick Scharpfenecker, Jacobo Torán
2015 — conf
Often Harder than in the Constructive Case: Destructive Bribery in CP-nets.
WINE
Britta Dorn, Dominikus Krüger, Patrick Scharpfenecker
2015 J jnl
Often harder than in the Constructive Case: Destructive Bribery in CP-nets.
CoRR
Britta Dorn, Dominikus Krüger, Patrick Scharpfenecker
2015 B conf
On the Structure of Solution-Graphs for Boolean Formulas.
FCT
Patrick Scharpfenecker
2015 J jnl
On the structure of Solution-Graphs for Boolean Formulas.
Electron. Colloquium Comput. Complex.
Patrick Scharpfenecker
2015 J jnl
Succinct Encodings of Graph Isomorphism.
Electron. Colloquium Comput. Complex.
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán
2014 C conf
Succinct Encodings of Graph Isomorphism.
LATA
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán