%0 Conference Paper %1 conf/sac/HealyMP16 %A Healy, Andrew %A Monahan, Rosemary %A Power, James F. %B SAC %D 2016 %E Ossowski, Sascha %I ACM %K dblp %P 1558-1561 %T Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. %U http://dblp.uni-trier.de/db/conf/sac/sac2016.html#HealyMP16 %@ 978-1-4503-3739-7

@inproceedings{conf/sac/HealyMP16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Healy, Andrew and Monahan, Rosemary and Power, James F.}, biburl = {https://www.bibsonomy.org/bibtex/2786af2a001c6932bc763842d36add82d/dblp}, booktitle = {SAC}, crossref = {conf/sac/2016}, editor = {Ossowski, Sascha}, ee = {https://doi.org/10.1145/2851613.2851975}, interhash = {5294b6a5ce1241be5e5ad54c29e5e5f5}, intrahash = {786af2a001c6932bc763842d36add82d}, isbn = {978-1-4503-3739-7}, keywords = {dblp}, pages = {1558-1561}, publisher = {ACM}, timestamp = {2018-11-07T13:13:51.000+0100}, title = {Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2016.html#HealyMP16}, year = 2016 }