Pages that link to "Item:Q3113785"
From MaRDI portal
The following pages link to Unsatisfiable Linear CNF Formulas Are Large and Complex. (Q3113785):
Displaying 4 items.
- Disproof of the neighborhood conjecture with implications to SAT (Q377802) (← links)
- Linear CNF formulas and satisfiability (Q1028433) (← links)
- Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms (Q2424882) (← links)
- XSAT and NAE-SAT of linear CNF classes (Q2440094) (← links)