An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.

Amar Shah, Federico Mora, Sanjit A. Seshia

Browse the full AAAI paper archive.