Pages that link to "Item:Q3502711"
From MaRDI portal
The following pages link to A CNF Class Generalizing Exact Linear Formulas (Q3502711):
Displaying 6 items.
- A linear-time transformation of linear inequalities into conjunctive normal form (Q293409) (← links)
- Linear CNF formulas and satisfiability (Q1028433) (← links)
- On extremal \(k\)-CNF formulas (Q2509734) (← links)
- (Q3181641) (← links)
- On Some SAT-Variants over Linear Formulas (Q3599093) (← links)
- A CNF Formula Hierarchy over the Hypercube (Q5385533) (← links)