Solving quantified linear arithmetic by counterexample-guided instantiation

Citation

Andrew Reynolds, Tim King, and Viktor Kuncak. Solving quantified linear arithmetic by counterexample-guided instantiation. Formal Methods in System Design (FMSD), 2017.

BibTex Entry

@article{ReynoldsETAL17SolvingQuantified,
  author = {Andrew Reynolds and Tim King and Viktor Kuncak},
  title = {Solving quantified linear arithmetic by counterexample-guided instantiation},
  journal = {Formal Methods in System Design (FMSD)},
  year = 2017
}