TY  - RPRT
TI  - A Brief Tour of Logic and Optimization
AU  - John Hooker
PY  - 2019
UR  - https://arxiv.org/abs/1910.13975
ID  - 1910.13975
ER  -