Visualitzant Departament d'Informàtica, Matemàtica Aplicada i Estadística per autor "Rodríguez Carbonell, Enric"
​ ​ ​ ​

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