Relational Constraint Solving in SMT.

Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett

Browse the full CADE paper archive.