The following pages link to Tim King (Q1688536):
Displaying 7 items.
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Deciding local theory extensions via E-matching (Q1702888) (← links)
- A decision procedure for separation logic in SMT (Q1990511) (← links)
- Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem (Q2796046) (← links)
- Practical SMT-based type error localization (Q2981994) (← links)
- (Q4266102) (← links)
- (Q4779455) (← links)
