Simple Yet Efficient Improvements of SAT Based Bounded Model Checking

Emmanuel Zarpas. Simple Yet Efficient Improvements of SAT Based Bounded Model Checking. In Alan J. Hu, Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Volume 3312 of Lecture Notes in Computer Science, pages 174-185, Springer, 2004. [doi]

Abstract

Abstract is missing.