Tim King

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 5

Top Topics

Dantzig Wolfe Decomposition

Inverse Problems In Image Processing

Agnostic Learning

Top Venues

Publications

Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli
CVC4 at the SMT Competition 2018. CoRR (2018)
Andrew Reynolds, Tim King, Viktor Kuncak
Solving quantified linear arithmetic by counterexample-guided instantiation. Formal Methods Syst. Des. 51 (3) (2017)
Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. VMCAI (2016)
Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King
A Decision Procedure for Separation Logic in SMT. ATVA (2016)
Andrew Reynolds, Radu Iosif, Tim King
A Decision Procedure for Separation Logic in SMT. CoRR (2016)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Finding Minimum Type Error Sources. Software Engineering & Management (2015)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Practical SMT-based type error localization. ICFP (2015)
Andrew Reynolds, Tim King, Viktor Kuncak
An Instantiation-Based Approach for Solving Quantified Linear Arithmetic. CoRR (2015)
Zvonimir Pavlinovic, Tim King, Thomas Wies
On Practical SMT-Based Type Error Localization. CoRR (2015)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
On Deciding Local Theory Extensions via E-matching. CoRR (2015)
Liana Hadarean, Alex Horn, Tim King
A Concurrency Problem with Exponential DPLL(T) Proofs. CoRR (2015)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
Deciding Local Theory Extensions via E-matching. CAV (2) (2015)
Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli
A tour of CVC4: How it works, and how to use it. FMCAD (2014)
Tim King, Clark W. Barrett, Cesare Tinelli
Leveraging linear and mixed integer programming for SMT. FMCAD (2014)
Tim King, Clark W. Barrett, Cesare Tinelli
Leveraging Linear and Mixed Integer Programming for SMT. SMT (2014)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Finding minimum type error sources. OOPSLA (2014)
Tim King, Clark W. Barrett, Bruno Dutertre
Simplex with sum of infeasibilities for SMT. FMCAD (2013)
Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
CVC4. CAV (2011)