A robust general constrained random pattern generator for constraints with variable ordering.

Bo-Han Wu Chung-Yang (Ric) Huang

Published in: ICCAD (2012)

Keyphrases

variable ordering
pattern generator
special case
conflict directed
optimal solution
constraint satisfaction
search strategy
randomly generated