Splitting on Demand in SAT Modulo Theories

“Splitting on Demand in SAT Modulo Theories” by Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli, Department of Computer Science. University of Iowa technical report 06-05, Aug. 2006.

BibTeX entry:

@techreport{BNO+06-TR,
   author = {Clark Barrett and Robert Nieuwenhuis and Albert Oliveras and
	Cesare Tinelli},
   title = {Splitting on Demand in {SAT Modulo Theories}},
   institution = {Department of Computer Science, University of Iowa},
   number = {06-05},
   month = aug,
   year = {2006},
   url = {http://theory.stanford.edu/~barrett/pubs/BNO+06-TR.pdf}
}

(This webpage was created with bibtex2web.)