About this scholarly article

2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers by Iser, Markus; Kutzner, Felix; Sinz, Carsten is a scholarly article available to read on EtoBox.

Author

Iser, Markus; Kutzner, Felix; Sinz, Carsten

Publisher

IEEE

Published

2017