Between Restarts and Backjumps
From MaRDI portal
Publication:3007685
DOI10.1007/978-3-642-21581-0_18zbMath1330.68276OpenAlexW1535230609MaRDI QIDQ3007685
No author found.
Publication date: 17 June 2011
Published in: Theory and Applications of Satisfiability Testing - SAT 2011 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21581-0_18
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Between Restarts and Backjumps