Resolution for stochastic Boolean satisfiability

DOI10.1007/978-3-642-16242-8_44MaRDI QIDQ4933336zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(9)

• Probabilistic Reasoning by SAT Solvers
• Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Stochastic Boolean satisfiability
• Stochastic Boolean satisfiability
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
• Generalized Craig interpolation for stochastic Boolean satisfiability problems
• A resolution proof system for dependency stochastic Boolean satisfiability
• 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)