Patrick Scharpfenecker

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Orders Of Magnitude

Boolean Formula

Top Venues

Electron. Colloquium Comput. Complex.

J. Satisf. Boolean Model. Comput.

Publications

Patrick Scharpfenecker
Bounded-Depth Succinct Encodings and the Structure they Imply on Graphs. Theory Comput. Syst. 62 (5) (2018)
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán
CNF and DNF succinct graph encodings. Inf. Comput. 253 (2017)
Patrick Scharpfenecker, Jacobo Torán
Solution-Graphs of Boolean Formulas and Isomorphism. J. Satisf. Boolean Model. Comput. 10 (1) (2016)
Patrick Scharpfenecker, Jacobo Torán
Solution-Graphs of Boolean Formulas and Isomorphism. Electron. Colloquium Comput. Complex. 23 (2016)
Patrick Scharpfenecker, Jacobo Torán
Solution-Graphs of Boolean Formulas and Isomorphism. SAT (2016)
Patrick Scharpfenecker
On the Structure of Solution-Graphs for Boolean Formulas. FCT (2015)
Patrick Scharpfenecker
On the structure of Solution-Graphs for Boolean Formulas. Electron. Colloquium Comput. Complex. 22 (2015)
Britta Dorn, Dominikus Krüger, Patrick Scharpfenecker
Often Harder than in the Constructive Case: Destructive Bribery in CP-nets. WINE (2015)
Britta Dorn, Dominikus Krüger, Patrick Scharpfenecker
Often harder than in the Constructive Case: Destructive Bribery in CP-nets. CoRR (2015)
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán
Succinct Encodings of Graph Isomorphism. Electron. Colloquium Comput. Complex. 22 (2015)
Bireswar Das, Patrick Scharpfenecker, Jacobo Torán
Succinct Encodings of Graph Isomorphism. LATA (2014)