Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. - Markus Iser; Felix Kutzner; Carsten Sinz (ICTAI, 2017)