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

Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full FMCAD paper archive.