Yeting Ge
Yeting Ge
Two Sigma Investments
Bestätigte E-Mail-Adresse bei twosigma.com
Titel
Zitiert von
Zitiert von
Jahr
Complete instantiation for quantified formulas in satisfiabiliby modulo theories
Y Ge, L De Moura
International Conference on Computer Aided Verification, 306-320, 2009
2372009
Solving quantified verification conditions using satisfiability modulo theories
Y Ge, C Barrett, C Tinelli
International Conference on Automated Deduction, 167-182, 2007
892007
Cooperating theorem provers: A case study combining HOL-Light and CVC Lite
S McLaughlin, C Barrett, Y Ge
Electronic Notes in Theoretical Computer Science 144 (2), 43-51, 2006
712006
Instantiation-based invariant discovery
T Kahsai, Y Ge, C Tinelli
NASA Formal Methods Symposium, 192-206, 2011
392011
Solving quantified verification conditions using satisfiability modulo theories
Y Ge, C Barrett, C Tinelli
Annals of Mathematics and Artificial Intelligence 55 (1-2), 101, 2009
382009
Proof translation and SMT-LIB benchmark certification: A preliminary report
Y Ge, C Barrett
SMT 2008: 6th International Workshop on Satisfiability Modulo Theories, 33, 2008
182008
Complete instantiation for quantified SMT formulas
Y Ge, L de Moura
CAV 5643, 2009
122009
Comparing proof systems for linear real arithmetic with LFSC
A Reynolds, L Hadarean, C Tinelli, Y Ge, A Stump, C Barrett
Workshop on satisfiability modulo theories, 2010
112010
Solving quantified first order formulas in Satisfiability Modulo Theories
Y Ge
New York University, 2010
2010
CVC3 Proof Conversion to LFSC
A Reynolds, C Tinelli, A Stump, L Hadarean, Y Ge, C Barrett
From Declarative to Computational Proof Checking for LRA
A Reynolds, L Hadarean, C Tinelli, Y Ge, A Stump, C Barrett
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11