Characterizing Propagation Methods for Boolean Satisfiability

DOI10.1007/11814948_31zbMath1187.68547OpenAlexW1488026446MaRDI QIDQ5756574

Sheila A. McIlraith, Eric I. Hsu

Publication date: 4 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814948_31

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting ⋮ Leveraging belief propagation, backtrack search, and statistics for model counting

Uses Software

• Walksat

This page was built for publication: Characterizing Propagation Methods for Boolean Satisfiability