![](/img/cover-not-exists.png)
[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - A Write-Based Solver for SAT Modulo the Theory of Arrays
Bofill, Miquel, Nieuwenhuis, Robert, Oliveras, Albert, Rodriguez-Carbonell, Enric, Rubio, AlbertYear:
2008
Language:
english
DOI:
10.1109/FMCAD.2008.ECP.18
File:
PDF, 187 KB
english, 2008