scientific article; zbMATH DE number 1113994

zbMath0889.68060MaRDI QIDQ4375759

John V. Franco

Publication date: 2 June 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiability problem

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (5)

Generalising and Unifying SLUR and Unit-Refutation Completeness ⋮ Investigations on autark assignments ⋮ A short note on some tractable cases of the satisfiability problem. ⋮ A perspective on certain polynomial-time solvable classes of satisfiability ⋮ Generalising unit-refutation completeness and SLUR via nested input resolution

Uses Software

• Leibniz

This page was built for publication: