Simple Yet Efficient Improvements of SAT Based Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Emmanuel Zarpas' in Google

runs on WebDSL