Konrad W. Schwerdtfeger

A Computational Trichotomy for Connectivity of Boolean Satisfiability

Konrad W. Schwerdtfeger, 2014, J. Satisf. Boolean Model. Comput..

The Connectivity of Boolean Satisfiability: No-Constants and Quantified Variants pdf

Konrad W. Schwerdtfeger, 2014, ArXiv.

The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits

Konrad W. Schwerdtfeger, 2014, CSR.

Connectivity of Boolean satisfiability pdf

Konrad W. Schwerdtfeger, 2015, ArXiv.

The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits

Konrad W. Schwerdtfeger, 2015, Theory of Computing Systems.

N=4 Multi-Particle Mechanics, WDVV Equation and Roots

Konrad W. Schwerdtfeger, O. Lechtenfeld, Johannes Thurigen, 2010, 1011.2207.