Improving Resource-Unaware SAT Solvers
From MaRDI portal
Publication:4933329
DOI10.1007/978-3-642-16242-8_37zbMath1306.68145OpenAlexW1582243294MaRDI QIDQ4933329
Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
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_37
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
SAT race 2015 ⋮ An Expressive Model for Instance Decomposition Based Parallel SAT Solvers ⋮ Automatic Scheduling of Periodic Event Networks by SAT Solving ⋮ How we designed winning algorithms for abstract argumentation and which insight we attained ⋮ The \textsc{MergeSat} solver
Uses Software
This page was built for publication: Improving Resource-Unaware SAT Solvers