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.
Actas:
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD

ISBN: 9781424427352

Año de publicación: 2008

Tipo: Aportación congreso

DOI: 10.1109/FMCAD.2008.ECP.18 GOOGLE SCHOLAR
Fuente de los datos: Scopus