A probabilistic study on the satisfiability problem

MaRDI QIDQ2767440zbMATH OpenFDO

Authors Kui Zhang, Dayue Chen

Publication date 29 January 2002

Published in Advances in Mathematics (Beijing) (Search for Journal in Brave)

zbMATH Keywords

\(d\)-satisfiability

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Probabilistic approach to the satisfiability problem
• Theory and Applications of Satisfiability Testing
• Probabilistic analysis of satisfiability algorithms
• scientific article; zbMATH DE number 69384
• Probabilistic satisfiability
• Probabilistic satisfiability
• The probabilistic analysis of a greedy satisfiability algorithm
• scientific article; zbMATH DE number 1947423
• Probabilistic Reasoning by SAT Solvers

Cited in

(13)

• Probabilistic satisfiability
• Probabilistic performance of a heurisic for the satisfiability problem
• Probabilistic estimates for the generalized maximum satisfiability problem
• A probabilistic analysis of randomly generated binary constraint satisfaction problems.
• Refinement-oriented probability for CSP
• scientific article; zbMATH DE number 69384 (Why is no real title available?)
• scientific article; zbMATH DE number 1335882 (Why is no real title available?)
• An exactly solvable random satisfiability problem
• scientific article; zbMATH DE number 1784977 (Why is no real title available?)
• A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming
• Theory and Applications of Satisfiability Testing
• A physical model for the satisfiability problem
• Probabilistic approach to the satisfiability problem

This page was built for publication: A probabilistic study on the satisfiability problem

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