Virtual Substitution for SMT-Solving.

Florian Corzilius, Erika brahm

Browse the full FCT paper archive.