Hybrid CEGAR: combining variable hiding and predicate abstraction.

Chao Wang, Hyondeuk Kim, Aarti Gupta

Browse the full ICCAD paper archive.