Preprocessing in Incremental SAT
From MaRDI portal
Publication:2843332
DOI10.1007/978-3-642-31612-8_20zbMath1273.68359MaRDI QIDQ2843332
Ofer Strichman, Alexander Nadel, Vadim Ryvchin
Publication date: 12 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31612-8_20
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software