Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving.

Andrew Healy, Rosemary Monahan, James F. Power

Browse the full SAC paper archive.