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:43 - 9 self