SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman. SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. In Ed Brinksma, Kim Guldstrand Larsen, editors, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Volume 2404 of Lecture Notes in Computer Science, pages 265-279, Springer, 2002. [doi]

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Anubhav Gupta' in GoogleThis author has not been identified. Look up 'James H. Kukula' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in Google

runs on WebDSL