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…