Pages that link to "Item:Q2895792"
From MaRDI portal
The following pages link to Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency (Q2895792):
Displayed 12 items.
- Quantified maximum satisfiability (Q272016) (← links)
- On Davis-Putnam reductions for minimally unsatisfiable clause-sets (Q391124) (← links)
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- Algorithms for computing minimal equivalent subformulas (Q460638) (← links)
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- (Q2895793) (redirect page) (← links)
- On Variables with Few Occurrences in Conjunctive Normal Forms (Q3007672) (← links)
- Computing Maximal Autarkies with Few and Simple Oracle Queries (Q3453219) (← links)
- Autarkies and Persistencies for QUBO (Q5050145) (← links)
- Present and Future of Practical SAT Solving (Q5504707) (← links)
- Are hitting formulas hard for resolution? (Q6162037) (← links)