Pages that link to "Item:Q1627839"
From MaRDI portal
The following pages link to Exact satisfiability of linear CNF formulas (Q1627839):
Displaying 7 items.
- Satisfiability of acyclic and almost acyclic CNF formulas (Q385062) (← links)
- XSAT and NAE-SAT of linear CNF classes (Q2440094) (← links)
- Satisfiability of acyclic and almost acyclic CNF formulas (Q2908839) (← links)
- (Q3181641) (← links)
- Exact DFA Identification Using SAT Solvers (Q3588365) (← links)
- Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences (Q3637160) (← links)
- A CNF Formula Hierarchy over the Hypercube (Q5385533) (← links)