Jump to Content

A Concurrency Problem with Exponential DPLL(T) Proofs

Liana Hadarean
Alex Horn
SMT (2015)

Abstract

Research Areas