Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

A Scalable Decision Procedure for Fixed-Width Bit-Vectors

TitleA Scalable Decision Procedure for Fixed-Width Bit-Vectors
Publication TypeConference Paper
Year of Publication2009
AuthorsBruttomesso, R., and Sharygina Natasha
Conference NameInternational Conference of Computer Aided Design (ICCAD)
PublisherACM
Conference LocationSan Jose (CA)
Full Text