SMELS: Satisfiability Modulo Equality with Lazy Superposition.

Christopher Lynch, Duc-Khanh Tran

Browse the full ATVA paper archive.