DMCA

A.: Boolector: An efficient SMT solver for bit-vectors and arrays (2009)

by Robert Brummayer , Armin Biere
Venue:Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), Lecture Notes in Computer Science
Citations:97 - 9 self