Difference between revisions of "Related Links"
From CVC4
(Created page with "Satisfiability Modulo Theories (SMT) * [http://www.smtlib.org/ SMT-LIB Initiative] * [http://www.smtcomp.org/ SMT-COMP Competition] * [http://www.smtexec.org/ SMT-EXEC Service] *…") |
|||
| Line 3: | Line 3: | ||
* [http://www.smtcomp.org/ SMT-COMP Competition] | * [http://www.smtcomp.org/ SMT-COMP Competition] | ||
* [http://www.smtexec.org/ SMT-EXEC Service] | * [http://www.smtexec.org/ SMT-EXEC Service] | ||
| − | * PDPAR Workshops: | + | * PDPAR Workshops: [http://www.loria.fr/~ranise/pdpar03/ 2003] [http://www.loria.fr/~ranise/pdpar04/ 2004] [http://www.ai.dist.unige.it/pdpar05/ 2005] [http://dit.unitn.it/~rseba/pdpar06/ 2006] |
| − | [http://www.loria.fr/~ranise/pdpar03/ 2003] | + | * SMT Workshops: [http://www.lsi.upc.edu/~oliveras/smt07/ 2007] [http://research.microsoft.com/en-us/um/redmond/events/smt08/ 2008] [http://ie.technion.ac.il/SMT09/ 2009] |
| − | [http://www.loria.fr/~ranise/pdpar04/ 2004] | + | |
| − | [http://www.ai.dist.unige.it/pdpar05/ 2005] | + | |
| − | [http://dit.unitn.it/~rseba/pdpar06/ 2006] | + | |
| − | * SMT Workshops: | + | |
| − | [http://www.lsi.upc.edu/~oliveras/smt07/ 2007] | + | |
| − | [http://research.microsoft.com/en-us/um/redmond/events/smt08/ 2008] | + | |
| − | [http://ie.technion.ac.il/SMT09/ 2009] | + | |
CVC4's Predecessors | CVC4's Predecessors | ||
Revision as of 13:49, 17 September 2012
Satisfiability Modulo Theories (SMT)
- SMT-LIB Initiative
- SMT-COMP Competition
- SMT-EXEC Service
- PDPAR Workshops: 2003 2004 2005 2006
- SMT Workshops: 2007 2008 2009
CVC4's Predecessors
Other
