Combined Satisfiability Modulo Parametric Theories.

Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli

Browse the full TACAS paper archive.