Reversed resolution in reducing general satisfiability problem

DOI10.1007/S11225-010-9262-6zbMATH Open1202.03027OpenAlexW2039061386MaRDI QIDQ993493FDOQ993493

Adam Kolany

Publication date: 20 September 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9262-6

Recommendations

• Theory and Applications of Satisfiability Testing
• scientific article
• scientific article; zbMATH DE number 1036758
• Analysis of a new reduction calculus for the satisfiability problem
• A simplified NP-complete satisfiability problem

zbMATH Keywords

graph theoryresolutionsatisfiabilitycolorabilitypropositional logicmarriage problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Classical propositional logic (03B05) Hypergraphs (05C65) Mechanization of proofs and logical operations (03B35)

Cites Work

• Title not available (Why is that?)
• Property S
• Satisfiability on hypergraphs
• Title not available (Why is that?)
• The dependence of some logical axioms on disjoint transversals and linked systems
• Title not available (Why is that?)

This page was built for publication: Reversed resolution in reducing general satisfiability problem

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