CVC4 at the SMT Competition 2018

Publication
CoRR