A Write-Based Solver for SAT Modulo the Theory of Arrays.

Miquel Bofill Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell Albert Rubio A Write-Based Solver for SAT Modulo the Theory of Arrays. 1-8 2008 FMCAD http://dx.doi.org/10.1109/FMCAD.2008.ECP.18 conf/fmcad/2008 db/conf/fmcad/fmcad2008.html#BofillNORR08