Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Mathematics / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Array data type / Literal / Matrix


A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis
Add to Reading List

Document Date: 2008-07-14 06:59:10


Open Document

File Size: 187,74 KB

Share Result on Facebook
UPDATE