Effectively Propositional Interpolants

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41540-6_12 ◽

2016 ◽

pp. 210-229 ◽

Author(s):

Samuel Drews ◽

Aws Albarghouthi

Download Full-text