Login / Signup

A robust constraint solving framework for multiple constraint sets in constrained random verification.

Bo-Han WuChung-Yang (Ric) Huang
Published in: DAC (2013)
Keyphrases
  • constraint solving
  • constraint logic programming
  • constraint sets
  • databases
  • database
  • search space
  • linear programming
  • constraint satisfaction problems