Juri Lichtner

Propositional approximations for bounded model checking of partial circuit designs

Bernd Becker, Matthew D. T. Lewis, Ralf Wimmer, 2008, 2008 IEEE International Conference on Computer Design.