Pages that link to "Item:Q1028433"
From MaRDI portal
The following pages link to Linear CNF formulas and satisfiability (Q1028433):
Displayed 5 items.
- XSAT and NAE-SAT of linear CNF classes (Q2440094) (← links)
- Improved MaxSAT Algorithms for Instances of Degree 3 (Q3467831) (← links)
- On Some SAT-Variants over Linear Formulas (Q3599093) (← links)
- On Some Aspects of Mixed Horn Formulas (Q3637161) (← links)
- The Lovász Local Lemma and Satisfiability (Q3644712) (← links)