Conference Publication Details
Mandatory Fields
Andrew Healy and Rosemary Monahan and James F. Power
31st ACM Symposium on Applied Computing
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving
2016
March
In Press
1
()
Optional Fields
1558
1561
Pisa, Italy
10.1145/2851613.2851975
Grant Details