@misc{indiciae35602b93ffca,
  title = {A Brief Tour of Logic and Optimization},
  author = {John Hooker},
  year = {2019},
  url = {https://arxiv.org/abs/1910.13975},
  note = {Source identifier: 1910.13975}
}