14 citations · 16 across the 4 of their papers we have counts for
4 papers · 1 filter
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…