Sign in

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

Morgan DetersAndrew ReynoldsTim KingClark W. BarrettCesare Tinelli
Published in: FMCAD (2014)
Keyphrases
  • traveling salesman problem
  • traveling salesman
  • multiscale
  • least squares
  • text mining
  • x ray
  • linear combination
  • ant colony optimization