Deciding Separation Formulas with SAT

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45657-0_16 ◽

2002 ◽

pp. 209-222 ◽

Author(s):

Ofer Strichman ◽

Sanjit A. Seshia ◽

Randal E. Bryant

Download Full-text