SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.

Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman

Browse the full CAV paper archive.