Sciweavers

STTT
2010

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers

13 years 5 months ago
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
Andreas Bauer 0002, Martin Leucker, Christian Scha
Added 21 May 2011
Updated 21 May 2011
Type Journal
Year 2010
Where STTT
Authors Andreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig
Comments (0)