SMT Competition

Award Date

January 2007

Organization

Award Recipient(s)

Domagoj Babic

First Place in the "Quantifier-Free Bit Vector" category

Please note that award recipients without hyperlinks indicates they do not have a profile with the department (typically students)