Login / Signup

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

Andreas BauerMartin LeuckerChristian SchallhartMichael Tautschnig
Published in: Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
  • long term
  • lightweight
  • artificial intelligence
  • highly optimized
  • high level
  • highly efficient
  • modulo theories