Yeting Ge

According to our database, Yeting Ge authored at least 5 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Instantiation-Based Invariant Discovery.

Temesghen Kahsai, Yeting Ge, Cesare Tinelli

Proceedings of the NASA Formal Methods, 2011

2010

Solving Quantified First Order Formulas in Satisfiability Modulo Theories.

Yeting Ge

PhD thesis, 2010

2009

Solving quantified verification conditions using satisfiability modulo theories.

Yeting Ge, Clark W. Barrett, Cesare Tinelli

Ann. Math. Artif. Intell., 2009

Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories.

Yeting Ge, Leonardo Mendonça de Moura

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2005

Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite.

Sean McLaughlin, Clark W. Barrett, Yeting Ge

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005