|
Search the dblp DataBase
Yeting Ge:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sean McLaughlin, Clark Barrett, Yeting Ge
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:43-51 [Journal]
- Yeting Ge, Clark Barrett, Cesare Tinelli
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP] CADE, 2007, pp:167-182 [Conf]
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. [Citation Graph (, )][DBLP]
Solving quantified verification conditions using satisfiability modulo theories. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|