scientific article
From MaRDI portal
Publication:2741528
zbMath0990.90545MaRDI QIDQ2741528
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Computing Maximal Autarkies with Few and Simple Oracle Queries ⋮ Minimal sets on propositional formulae. Problems and reductions ⋮ Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets ⋮ Efficient Reasoning for Inconsistent Horn Formulae ⋮ Present and Future of Practical SAT Solving
Uses Software
This page was built for publication:
