Stochastic Boolean satisfiability

zbMATH Open0979.68068MaRDI QIDQ2751046FDOQ2751046

Authors: Michael L. Littman, Stephen M. Majercik, Toniann Pitassi 

Publication date: 21 October 2001

Recommendations

• Stochastic Boolean satisfiability
• Resolution for stochastic Boolean satisfiability
• scientific article; zbMATH DE number 1844518
• Some interesting research directions in satisfiability
• scientific article; zbMATH DE number 69384

zbMATH Keywords

satisfiability problems

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) General topics in artificial intelligence (68T01)

Cited In (10)

• The complexity of counting models of linear-time temporal logic
• Reasoning and inference for (maximum) satisfiability: new insights
• Stochastic Boolean satisfiability
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Resolution for stochastic Boolean satisfiability
• Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability
• Stochastic systematic search algorithms for satisfiability
• A New Algorithm for Complex Stochastic Boolean Systems
• Critical Behavior in the Satisfiability of Random Boolean Expressions
• Complexity and approximability of quantified and stochastic constraint satisfaction problems

This page was built for publication: Stochastic Boolean satisfiability

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