Pages that link to "Item:Q4981174"
From MaRDI portal
The following pages link to The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits (Q4981174):
Displaying 7 items.
- On the Boolean connectivity problem for Horn relations (Q608293) (← links)
- An exact algorithm for the Boolean connectivity problem for \(k\)-CNF (Q638525) (← links)
- The connectivity of Boolean satisfiability: dichotomies for formulas and circuits (Q2411031) (← links)
- Using Flexibility in P-Circuits by Boolean Relations (Q2985749) (← links)
- On the Boolean Connectivity Problem for Horn Relations (Q3612466) (← links)
- Homomorphism Reconfiguration via Homotopy (Q5212954) (← links)
- The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies (Q5902502) (← links)