Philippe Suter, Ali Sinan Köksal, and Viktor Kuncak. On satisfiability modulo computable functions. Technical Report EPFL-REPORT, EPFL, 2010.

bib ] Back