Theory and Applications of Satisfiability Testing

DOI10.1007/b95238zbMath1204.68185OpenAlexW2494235144WikidataQ56039662 ScholiaQ56039662MaRDI QIDQ5325886

Riccardo Zecchina, Alfredo Braunstein

Publication date: 24 July 2009

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

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

Mathematics Subject Classification ID

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

Related Items (2)

Leveraging cluster backbones for improving MAP inference in statistical relational models ⋮ Visualizing SAT instances and runs of the DPLL algorithm

Uses Software

• Walksat

This page was built for publication: Theory and Applications of Satisfiability Testing