[SMT-COMP] References for SMTCOMP 2014 solvers

David R. Cok dcok at grammatech.com
Thu Nov 6 10:46:38 EST 2014


SMTCOMP 2014 participants

The organizers are preparing a paper for publication on the experience 
and results of the 2014 SMT competition.
This includes a list of participating solvers.
If you have a 'canonical' reference you would like us to use for your 
solver, or the most appropriate one for the 2014 version (which might be 
a paper in preparation or under review), please reply to this note with 
a  BibTex for your tool.

ASAP - our submission deadline is next week.

Thanks,

David, David & Tjark


More information about the SMT-COMP mailing list