A Scalable Decision Procedure for Fixed-Width Bit-Vectors
Additional information
Authors
Bruttomesso R.,
Sharygina N.
Type
Article in conference proceedings
Year
2009
Language
English
Conference proceedings
International Conference of Computer Aided Design (ICCAD)
Publisher
ACM
Meeting place
San Jose (CA)
