Pages that link to "Item:Q2741528"
From MaRDI portal
The following pages link to On the use of autarkies for satisfiability decision (Q2741528):
Displaying 8 items.
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- Investigations on autark assignments (Q1841885) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure (Q2895792) (← links)
- Computing Maximal Autarkies with Few and Simple Oracle Queries (Q3453219) (← links)
- Present and Future of Practical SAT Solving (Q5504707) (← links)
- Itauto: An Extensible Intuitionistic SAT Solver (Q6157250) (← links)