Deciding Separation Formulas with SAT

Ofer Strichman, Sanjit A. Seshia, and Randal E. Bryant. Deciding Separation Formulas with SAT. In Proc. 14th Intl. Conference on Computer-Aided Verification (CAV'02), pp. 209–222, LNCS 2404, Springer-Verlag, July 2002.

Download

[pdf]  [ps] 

Abstract

(unavailable)

BibTeX

@InProceedings{strichman-cav02,
  author = "Ofer Strichman and Sanjit A. Seshia and Randal E. Bryant",
  title = "Deciding Separation Formulas with {SAT}",
 booktitle = "Proc. 14th Intl. Conference on Computer-Aided Verification ({CAV}'02)",
 editor = "E. Brinksma and K. G. Larsen",
 series = "LNCS 2404",
 publisher = "Springer-Verlag",
 month = "July", 
 year = "2002",
 pages = "209--222",
}