@InProceedings{   McMillan:CAV:2003,
  Author        = "McMillan, K. L.",
  Editor        = "Hunt, Warren A. and Somenzi, Fabio",
  Abstract      = "We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circuit verification instances, this method is greatly more efficient than BDD-based symbolic model checking, and compares favorably to some recent SAT-based model checking methods on positive instances.",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Computer Aided Verification",
  date-added    = "2019-09-26 16:06:18 +0200",
  date-modified = "2019-10-15 14:36:24 +0200",
  ISBN          = "978-3-540-45069-6",
  Pages         = "1--13",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "Interpolation and SAT-Based Model Checking",
  Year          = "2003",
  File          = "Interpolation and SAT-Based Model Checking - McMillan2003\_Chapter\_InterpolationAndSAT-BasedModel - a - a - b.pdf"
}

@InProceedings{ McMillan:CAV:2003, Author = "McMillan, K. L.", Editor = "Hunt, Warren A. and Somenzi, Fabio", Abstract = "We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circuit verification instances, this method is greatly more efficient than BDD-based symbolic model checking, and compares favorably to some recent SAT-based model checking methods on positive instances.", Address = "Berlin, Heidelberg", BookTitle = "Computer Aided Verification", date-added = "2019-09-26 16:06:18 +0200", date-modified = "2019-10-15 14:36:24 +0200", ISBN = "978-3-540-45069-6", Pages = "1--13", Publisher = "Springer Berlin Heidelberg", Title = "Interpolation and SAT-Based Model Checking", Year = "2003", File = "Interpolation and SAT-Based Model Checking - McMillan2003_Chapter_InterpolationAndSAT-BasedModel - a - a - b.pdf" }