@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}
}