Pages that link to "Item:Q1028433"
From MaRDI portal
The following pages link to Linear CNF formulas and satisfiability (Q1028433):
Displaying 7 items.
- A general method for forbidden induced subgraph sandwich problem NP-completeness (Q2132372) (← links)
- Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms (Q2424882) (← links)
- 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)
