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

Miquel Bofill Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell Albert Rubio

Published in: FMCAD (2008)

Keyphrases

satisfiability modulo theories
sat solving
evolutionary algorithm
modulo theories
theoretical framework
satisfiability problem
sat solvers
theoretical basis
computational model
constraint satisfaction
boolean formula