A write-based solver F or SAT modulo the theory of arrays

  1. Bofill, M.
  2. Nieuwenhuis, R.
  3. Oliveras, A.
  4. Rodríguez-Carbonell, E.
  5. Rubio, A.
Actes:
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD

ISBN: 9781424427352

Any de publicació: 2008

Tipus: Aportació congrés

DOI: 10.1109/FMCAD.2008.ECP.18 GOOGLE SCHOLAR
Font de les dades: Scopus