A Concurrency Problem with Exponential DPLL(T) Proofs

Liana Hadarean
Alex Horn
SMT(2015)

Abstract

Research Areas