Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers.

Ashlin Iser, Felix Kutzner, Carsten Sinz

Browse the full ICTAI paper archive.