Resolution for stochastic Boolean satisfiability

DOI10.1007/978-3-642-16242-8_44zbMATH Open1306.68175OpenAlexW198141772MaRDI QIDQ4933336FDOQ4933336

Authors: Tino Teige, Martin Fränzle 

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_44

Recommendations

• Generalized Craig interpolation for stochastic Boolean satisfiability problems
• Stochastic Boolean satisfiability
• Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability
• Stochastic Boolean satisfiability
• Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Cited In (9)

• Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
• Stochastic Boolean satisfiability
• A resolution proof system for dependency stochastic Boolean satisfiability
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Generalized Craig interpolation for stochastic Boolean satisfiability problems
• Stochastic Boolean satisfiability
• Probabilistic Reasoning by SAT Solvers
• Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability

This page was built for publication: Resolution for stochastic Boolean satisfiability

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