Login / Signup

Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.

Chao WangBing LiHoonSang JinGary D. HachtelFabio Somenzi
Published in: ICCAD (2003)
Keyphrases
  • real time
  • data sets
  • neural network
  • genetic algorithm
  • high level
  • programming language