Probabilistic approach to the satisfiability problem

DOI10.1016/0304-3975(91)90316-TzbMATH Open0732.68051MaRDI QIDQ808705FDOQ808705

Authors: Olivier Dubois, Jacques Carlier 

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• Probabilistic satisfiability
• Probabilistic satisfiability
• A probabilistic study on the satisfiability problem
• Theory and Applications of Satisfiability Testing
• Probabilistic analysis of satisfiability algorithms
• Probabilistic Reasoning by SAT Solvers
• scientific article; zbMATH DE number 69384
• Probabilistic satisfiability with imprecise probabilities
• A hybrid method for probabilistic satisfiability

zbMATH Keywords

probabilistic algorithmssatisfiability problemNP problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Counting the number of solutions for instances of satisfiability
• Title not available (Why is that?)

Cited In (20)

• Probabilistic solution of Yao's millionaires' problem
• Probabilistic satisfiability
• Title not available (Why is that?)
• Title not available (Why is that?)
• A kind of logical compilation for knowledge bases
• A probabilistic study on the satisfiability problem
• Refinement-oriented probability for CSP
• Probabilistic performance of a heurisic for the satisfiability problem
• Probabilistic estimates for the generalized maximum satisfiability problem
• Levels of uniformity
• A natural explanation for the minimum entropy production principle
• On the r,s-SAT satisfiability problem and a conjecture of Tovey
• Counting the number of solutions for instances of satisfiability
• On the complexity of probabilistic trials for hidden satisfiability problems
• Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partitioning search spaces of a randomized search
• Title not available (Why is that?)

This page was built for publication: Probabilistic approach to the satisfiability problem

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