Konrad W. Schwerdtfeger

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Integer Linear Programming

Top Venues

J. Satisf. Boolean Model. Comput.

Theory Comput. Syst.

University of Hanover, Hannover, Germany (PHD)

Education History

University of Hanover, Hannover, Germany

PHD

Publications

Konrad W. Schwerdtfeger
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits. Theory Comput. Syst. 61 (2) (2017)
Konrad W. Schwerdtfeger
Connectivity of Boolean Satisfiability. CoRR (2015)
Konrad W. Schwerdtfeger
A Computational Trichotomy for Connectivity of Boolean Satisfiability. J. Satisf. Boolean Model. Comput. 8 (3/4) (2014)
Konrad W. Schwerdtfeger
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits. CSR (2014)
Konrad W. Schwerdtfeger
A Computational Trichotomy for Connectivity of Boolean Satisfiability. CoRR (2013)
Konrad W. Schwerdtfeger
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits. CoRR (2013)