Pages that link to "Item:Q2947874"
From MaRDI portal
The following pages link to On the Structure of Solution-Graphs for Boolean Formulas (Q2947874):
Displaying 10 items.
- On the capacity of Boolean graph formulæ (Q1805371) (← links)
- The connectivity of Boolean satisfiability: dichotomies for formulas and circuits (Q2411031) (← links)
- Solution-Graphs of Boolean Formulas and Isomorphism (Q2817999) (← links)
- On the Boolean Connectivity Problem for Horn Relations (Q3612466) (← links)
- Complete Problems Involving Boolean Labelled Structures and Projection Transactions (Q3988061) (← links)
- The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits (Q4981174) (← links)
- Solution-Graphs of Boolean Formulas and Isomorphism1 (Q5015600) (← links)
- The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies (Q5902502) (← links)
- Reconfiguration of satisfying assignments and subset sums: easy to find, hard to connect (Q5916254) (← links)
- Graph theoretic and Boolean conditions for structurally fixed modes of augmented system forms (Q5959131) (← links)