list | abstracts | bib ]

On Satisfiability Modulo Computable Functions

Citation

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

BibTex Entry

@TECHREPORT{SuterETAL10OnSatisfiabilityModuloComputableFunctions,
  author = {Philippe Suter and Ali Sinan K\"oksal and Viktor Kuncak},
  title = {On Satisfiability Modulo Computable Functions},
  institution = {EPFL},
  number = {EPFL-REPORT},
  year = 2010
}

list | abstracts | bib ]