Login / Signup
Simplifying Boolean constraint solving for random simulation-vector generation.
Jun Yuan
Adnan Aziz
Carl Pixley
Ken Albin
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2004)
Keyphrases
</>
constraint solving
constraint logic programming
constraint propagation
constraint solver
constraint satisfaction problems
constraint satisfaction
constraint programming
real valued
simulation model
data structure
video sequences
np complete
mathematical model
boolean functions