Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: 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
Artículo
info:eu-repo/semantics/acceptedVersion
IEEE (Institute of Electrical and Electronics Engineers)
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Candeago, L.; 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
Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Stuckey, Peter
Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
 

Coordinación

 

Patrocinio