A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols.

Sumit Gulwani, George C. Necula

Browse the full CADE paper archive.