TY  - RPRT
TI  - Counterexample Guided Inductive Optimization
AU  - Rodrigo F. Araujo
AU  - Higo F. Albuquerque
AU  - Iury V. de Bessa
AU  - Lucas C. Cordeiro
AU  - Joao Edgar C. Filho
PY  - 2017
UR  - https://arxiv.org/abs/1704.03738
ID  - 1704.03738
ER  -