Travelled to:1 × France
1 × Germany
Collaborated with:L.M.d.Moura C.Barrett C.Tinelli
Talks about:quantifi (2) theori (2) modulo (2) satisfiabilibi (1) instanti (1) satisfi (1) formula (1) complet (1) condit (1) verif (1)
Person: Yeting Ge
DBLP: Ge:Yeting
Contributed to:
2009
2007Wrote 2 papers:
- CAV-2009-GeM #modulo theories #quantifier #satisfiability
- Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories (YG, LMdM), pp. 306–320.
- CADE-2007-GeBT #modulo theories #quantifier #satisfiability #using #verification
- Solving Quantified Verification Conditions Using Satisfiability Modulo Theories (YG, CB, CT), pp. 167–182.