Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Andreas Bauer‚ Martin Leucker‚ Christian Schallhart and Michael Tautschnig
Journal
International Journal on Software Tools for Technology Transfer
Month
February
Number
1
Pages
23–37
Volume
12
Year
2010