A Concurrency Problem with Exponential DPLL(T) Proofs

Liana Hadarean
Alex Horn
Tim King
SMT (2015)

Abstract