The following pages link to Sicun Gao (Q2272928):
Displaying 9 items.
- Interpolants in nonlinear theories over the reals (Q2272929) (← links)
- δ-Complete Decision Procedures for Satisfiability over the Reals (Q2908499) (← links)
- Delta-Decidability over the Reals (Q2986807) (← links)
- SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems (Q2988973) (← links)
- Quantifier Elimination over Finite Fields Using Gröbner Bases (Q3014937) (← links)
- dReal: An SMT Solver for Nonlinear Theories over the Reals (Q4928439) (← links)
- A Non-prenex, Non-clausal QBF Solver with Game-State Learning (Q4930584) (← links)
- Obituary: Edmund Melson Clarke jun. (1945--2020) (Q6056636) (← links)
- Tight Continuous-Time Reachtubes for Lagrangian Reachability (Q6511948) (← links)
