@misc{indiciae2d85abe0e6c3,
  title = {A Concurrency Problem with Exponential DPLL(T) Proofs},
  author = {Liana Hadarean and Alex Horn and Tim King},
  year = {2015},
  url = {https://arxiv.org/abs/1506.01602},
  note = {Source identifier: 1506.01602}
}