@inproceedings{BEGKR2006,
  title = "{ExpliSAT}: Guiding {SAT}-Based Software Verification with Explicit States",
  author = "Sharon Barner and Cindy Eisner and Ziv Glazberg and Daniel Kroening and Ishai Rabinovitz",
  year = "2007",
  booktitle = "Proceedings of HVC 2006",
  pages = "138--154",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4383",
}