ExpliSAT: Guiding SAT−Based Software Verification with Explicit States - Barner, S; Eisner, C; Glazberg, Z; Kroening, D; Rabinovitz, I (Proceedings of HVC 2006, 2007)