RABINOVOTZ ISHAI

Satisfiability (SAT) based bounded model checkers