To access the full text documents, please follow this link: http://hdl.handle.net/10256/8405

A Write-Based Solver for SAT Modulo the Theory of Arrays
Bofill Arasa, Miquel; Nieuwenhuis, Robert; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio, Albert
Algorismes computacionals
Computer algorithms
Models, Teoria dels
Model theory
Lògica matemàtica
Logic, Symbolic and mathematical
Matrius (Matemàtica)
Matrices
Tots els drets reservats
Article
info:eu-repo/semantics/acceptedVersion
IEEE (Institute of Electrical and Electronics Engineers)
         

Show full item record

Related documents

Other documents of the same author

Larraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Asín Acha, Roberto Javier; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
Larraz Hurtado, Daniel; Nimkar, Kaustubh; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Larraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
 

Coordination

 

Supporters