14 citations · 16 across the 4 of their papers we have counts for
5 papers
Connectivity of Boolean Satisfiability
Konrad W. Schwerdtfeger
For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connect…
The Connectivity of Boolean Satisfiability: No-Constants and Quantified Variants
Konrad W. Schwerdtfeger
For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connect…
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits
Konrad W. Schwerdtfeger
For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connect…
A Computational Trichotomy for Connectivity of Boolean Satisfiability
Konrad W. Schwerdtfeger
For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connect…
N=4 Multi-Particle Mechanics, WDVV Equation and Roots
Olaf Lechtenfeld, Konrad Schwerdtfeger, Johannes Thürigen
We review the relation of N=4 superconformal multi-particle models on the real line to the WDVV equation and an associated linear equation for two prepotentials, F and U. The super…