Reference:

Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig. Don't care in SMT—building flexible yet efficient abstraction/refinement solvers. In Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pages 135–146, Poitiers, France, December 2007.

Suggested BibTeX entry:

@inproceedings{bauer:leucker:schallhart:tautschnig:isola07,
    address = {Poitiers, France},
    author = {Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig},
    booktitle = {Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
    month = {December},
    pages = {135--146},
    title = {Don't care in {SMT}---Building flexible yet efficient abstraction/refinement solvers},
    year = {2007}
}