An Optimized Symbolic Bounded Model Checking Engine. - Rachel Tzoref; Mark Matusevich; Eli Berger; Ilan Beer (CHARME, 2003)