Grant: NEW YORK UNIVERSITY
Primary Recipient
NEW YORK UNIVERSITY
Amount
$150,000.00
Award Date
7/15/2009
Administering Agency
CDFA Number
47.082
CDFA Program Title
Trans-NSF Recovery Act Reasearch Support
Description
Flexible, Efficient, and Trustworthy Proof Checking for Satisfiability Modulo Theories