Deciding Separation Formulas with SAT.

Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant

Browse the full CAV paper archive.