Splitting on Demand in SAT Modulo Theories

Splitting on Demand in SAT Modulo Theories” by Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli. In Proceedings of the 13^th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '06), (Miki Hermann and Andrei Voronkov, eds.), Nov. 2006, pp. 512-526. Phnom Penh, Cambodia.

BibTeX entry:

@inproceedings{BNO+06,
   author = {Clark Barrett and Robert Nieuwenhuis and Albert Oliveras and
	Cesare Tinelli},
   editor = {Miki Hermann and Andrei Voronkov},
   title = {Splitting on Demand in {SAT} Modulo Theories},
   booktitle = {Proceedings of the {\it 13^{th}} International Conference
	on Logic for Programming, Artificial Intelligence, and Reasoning
	(LPAR '06)},
   series = {Lecture Notes in Computer Science},
   volume = {4246},
   pages = {512--526},
   publisher = {Springer-Verlag},
   month = nov,
   year = {2006},
   note = {Phnom Penh, Cambodia},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BNO+06.pdf}
}

(This webpage was created with bibtex2web.)