| Original language | English (US) |
|---|---|
| Publisher | Department of Computer Science, University of Iowa |
| State | Published - Aug 2006 |
Publication series
| Name | Technical Report 06-05 |
|---|
Splitting on demand in SAT modulo theories
Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
Research output: Book/Report › Other report