Splitting on demand in SAT modulo theories

Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherDepartment of Computer Science, University of Iowa
StatePublished - Aug 2006

Publication series

NameTechnical Report 06-05

Cite this

Barrett, C., Nieuwenhuis, R., Oliveras, A., & Tinelli, C. (2006). Splitting on demand in SAT modulo theories. (Technical Report 06-05). Department of Computer Science, University of Iowa.