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