Patrick Scharpfenecker
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Solution-Graphs of Boolean Formulas and Isomorphism1 Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
| Bounded-depth succinct encodings and the structure they imply on graphs Theory of Computing Systems | 2018-07-23 | Paper |
| CNF and DNF succinct graph encodings Information and Computation | 2017-03-16 | Paper |
| Solution-Graphs of Boolean Formulas and Isomorphism Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
| Often Harder than in the Constructive Case: Destructive Bribery in CP-nets Web and Internet Economics | 2016-01-08 | Paper |
| On the structure of solution-graphs for Boolean formulas Fundamentals of Computation Theory | 2015-09-29 | Paper |
| Succinct Encodings of Graph Isomorphism Language and Automata Theory and Applications | 2014-03-31 | Paper |
Research outcomes over time
This page was built for person: Patrick Scharpfenecker
