First Page | Document Content | |
---|---|---|
Date: 2014-07-18 18:47:15Mathematical analysis Logic Theoretical computer science Automated theorem proving Logic programming Conflict-driven clause learning E Calculus Substitution Exponential function | Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)Add to Reading ListSource URL: smt2014.it.uu.seDownload Document from Source WebsiteFile Size: 257,99 KBShare Document on Facebook |