Quantifier Instantiation Techniques for Finite Model Finding in SMT.

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett

Browse the full CADE paper archive.