TY  - RPRT
TI  - A Concurrency Problem with Exponential DPLL(T) Proofs
AU  - Liana Hadarean
AU  - Alex Horn
AU  - Tim King
PY  - 2015
UR  - https://arxiv.org/abs/1506.01602
ID  - 1506.01602
ER  -