scientific article; zbMATH DE number 1113994

zbMATH Open0889.68060MaRDI QIDQ4375759FDOQ4375759

Authors: John V. Franco 

Publication date: 2 June 1998

Title of this publication is not available (Why is that?)

Recommendations

• A perspective on certain polynomial-time solvable classes of satisfiability
• Polynomially solvable satisfiability problems
• scientific article; zbMATH DE number 2151254
• A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses

zbMATH Keywords

satisfiability problem

Mathematics Subject Classification ID

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

Cited In (6)

• Polynomially solvable satisfiability problems
• A perspective on certain polynomial-time solvable classes of satisfiability
• A short note on some tractable cases of the satisfiability problem.
• Generalising and unifying SLUR and unit-refutation completeness
• Generalising unit-refutation completeness and SLUR via nested input resolution
• Investigations on autark assignments

Uses Software

• Leibniz

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375759)