Resolution for Stochastic Boolean Satisfiability

DOI10.1007/978-3-642-16242-8_44zbMath1306.68175OpenAlexW198141772MaRDI QIDQ4933336

Martin Fränzle, Tino Teige

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

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

Related Items (2)

A resolution proof system for dependency stochastic Boolean satisfiability ⋮ Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems

This page was built for publication: Resolution for Stochastic Boolean Satisfiability