TY  - RPRT
TI  - CVC4 at the SMT Competition 2018
AU  - Clark Barrett
AU  - Haniel Barbosa
AU  - Martin Brain
AU  - Duligur Ibeling
AU  - Tim King
AU  - Paul Meng
AU  - Aina Niemetz
AU  - Andres Nötzli
AU  - Mathias Preiner
AU  - Andrew Reynolds
AU  - Cesare Tinelli
PY  - 2018
UR  - https://arxiv.org/abs/1806.08775
ID  - 1806.08775
ER  -