Sat based abstraction-renement using ILP and machine learning techniques (2002)

by E M Clarke, A Gupta, J Kukula, O Strichman
Venue:In Proc. of Conference on Computer-Aided Verification (CAV’02), LNCS