A tour of CVC4: How it works, and how to use it.

Morgan Deters Andrew Reynolds Tim King Clark W. Barrett Cesare Tinelli

Published in: FMCAD (2014)

Keyphrases

traveling salesman problem
traveling salesman
multiscale
least squares
text mining
x ray
linear combination
ant colony optimization