Invited Talk: Rewrite-based Deduction and Symbolic Constraints.

Robert Nieuwenhuis

Browse the full CADE paper archive.