A dual algorithm for the satisfiability problem

DOI10.1016/0020-0190(91)90139-9zbMATH Open0713.68037OpenAlexW1985449594MaRDI QIDQ750165FDOQ750165

Yoshihiro Tanaka

Publication date: 1991

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90139-9

Recommendations

• scientific article; zbMATH DE number 956858
• An exact and a randomized approach for the satisfiability problem
• Probabilistic performance of a heurisic for the satisfiability problem
• scientific article
• Solving propositional satisfiability problems

zbMATH Keywords

satisfiabilitycombinatorial problemsDavis-Putnam procedureKarnaugh map

Mathematics Subject Classification ID

Combinatorics in computer science (68R05)

Cites Work

• The complexity of theorem-proving procedures
• A Computing Procedure for Quantification Theory
• Some results and experiments in programming techniques for propositional logic
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Solving propositional satisfiability problems
• CNF-Satisfiability Test by Counting and Polynomial Average Time
• Resolution vs. cutting plane solution of inference problems: Some computational experience
• Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

Cited In (4)

• Title not available (Why is that?)
• The unreasonable effectiveness of alternation-based satisfiabiity algorithms
• Quasiphysical and quasisociological algorithm Solar for solving SAT problem
• Counting for satisfiability by inverting resolution

This page was built for publication: A dual algorithm for the satisfiability problem

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