A robust constraint solving framework for multiple constraint sets in constrained random verification DAC 2013 2013 Authors: Bo-Han Wu, Chung-Yang (Ric) Huang
