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

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

Browse the full FMCAD paper archive.