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