Stochastic Boolean satisfiability

MaRDI QIDQ2751046zbMATH OpenFDO

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

Publication date 21 October 2001

zbMATH Keywords

satisfiability problems

Mathematics Subject Classification ID

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

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

Cited in

(10)

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

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)