@article{RNTI/papers/1000540, author = {Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig}, title = {Don't care in SMT - Buildin flexible yet efficient abstraction/refinement solver}, journal = {1}, volume = {Extraction et Gestion des Connaissances, 1}, year = {2022}, pages = {133-144} }