Pages that link to "Item:Q1352293"
From MaRDI portal
The following pages link to Resolution and the integrality of satisfiability problems (Q1352293):
Displaying 15 items.
- Perfect \(0,\pm 1\) matrices (Q677152) (← links)
- Ideal clutters (Q697573) (← links)
- \((0,\pm 1)\) ideal matrices (Q1380940) (← links)
- Number representation of satisfiability (Q1977919) (← links)
- Balanced matrices (Q2433704) (← links)
- Combining preorder and postorder resolution in a satisfiability solver (Q2741518) (← links)
- Unified Characterisations of Resolution Hardness Measures (Q3192062) (← links)
- (Q3620438) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- Clean Clutters and Dyadic Fractional Packings (Q5071103) (← links)
- (0, ±1) ideal matrices (Q5101427) (← links)
- Theory and Applications of Satisfiability Testing (Q5325849) (← links)
- (Q5482597) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897216) (← links)
- Perfect, ideal and balanced matrices (Q5943927) (← links)