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

ISBN: 9781424427352

Year of publication: 2008

Type: Conference paper

DOI: 10.1109/FMCAD.2008.ECP.18 GOOGLE SCHOLAR
Data source: Scopus