Pages that link to "Item:Q5325871"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325871):
Displaying 6 items.
- Bounded list injective homomorphism for comparative analysis of protein-protein interaction graphs (Q935835) (← links)
- On the complexity of equational problems in CNF (Q1404988) (← links)
- On extremal \(k\)-CNF formulas (Q2509734) (← links)
- Theory and Applications of Satisfiability Testing (Q5325884) (← links)
- A CNF Formula Hierarchy over the Hypercube (Q5385533) (← links)
- An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF (Q6113549) (← links)