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

by Edmund Clarke , Anubhav Gupta , James Kukula , Ofer Strichman
Venue:In Proceedings of CAV
Citations:44 - 9 self