[SMT-LIB] Knowledge Transfer Report on SMT

Yeting Ge yeting at cims.nyu.edu
Tue Jul 29 19:40:31 EDT 2014


nice job!

Best,
Yeting

On Mon, 28 Jul 2014, Clark Barrett wrote:

> I thought people might be interested in knowing about a report sponsored by
> the London Mathematical Society that I wrote with Daniel Kroening and Tom
> Melham.  It's aim is to explain SMT at a high level to a general audience.
> Follow the link for more.
>
> http://cs.nyu.edu/~barrett/pubs/BKM14-abstract.html
>
> Clark Barrett
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>


More information about the SMT-LIB mailing list