Simplifying Boolean constraint solving for random simulation-vector generation.

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley

Browse the full ICCAD paper archive.