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.

Splitting on demand in SAT modulo theories. / Barrett, Clark; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare.

Department of Computer Science, University of Iowa, 2006. (Technical Report 06-05).

Research output: Book/ReportOther report

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.
Barrett C, Nieuwenhuis R, Oliveras A, Tinelli C. Splitting on demand in SAT modulo theories. Department of Computer Science, University of Iowa, 2006. (Technical Report 06-05).
Barrett, Clark ; Nieuwenhuis, Robert ; Oliveras, Albert ; Tinelli, Cesare. / Splitting on demand in SAT modulo theories. Department of Computer Science, University of Iowa, 2006. (Technical Report 06-05).
@book{cc511f69e8234a92b874545eb37c9b0e,
title = "Splitting on demand in SAT modulo theories",
author = "Clark Barrett and Robert Nieuwenhuis and Albert Oliveras and Cesare Tinelli",
year = "2006",
month = "8",
language = "English (US)",
series = "Technical Report 06-05",
publisher = "Department of Computer Science, University of Iowa",

}

TY - BOOK

T1 - Splitting on demand in SAT modulo theories

AU - Barrett, Clark

AU - Nieuwenhuis, Robert

AU - Oliveras, Albert

AU - Tinelli, Cesare

PY - 2006/8

Y1 - 2006/8

M3 - Other report

T3 - Technical Report 06-05

BT - Splitting on demand in SAT modulo theories

PB - Department of Computer Science, University of Iowa

ER -