Markus Iser, Felix Kutzner, Carsten Sinz. Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. In 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017. pages 1029-1036, IEEE Computer Society, 2017. [doi]
Abstract is missing.