Exact MinSAT Solving

DOI10.1007/978-3-642-14186-7_33zbMath1306.68164OpenAlexW1596863163MaRDI QIDQ4930605

Chu-Min Li, Zhe Quan, Zhu Zhu, Felip Manyà

Publication date: 29 September 2010

Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_33

Mathematics Subject Classification ID

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

Related Items (2)

Lower and Upper Bounds for Random Mimimum Satisfiability Problem ⋮ Optimizing with minimum satisfiability

This page was built for publication: Exact MinSAT Solving