Simplifying Boolean constraint solving for random simulation-vector generation.

Jun Yuan Ken Albin Adnan Aziz Carl Pixley

Published in: ICCAD (2002)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
feature vectors
mathematical model
mathematical programming
tree search
real valued
boolean queries