Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
SAT solvers
14
ALL-SAT
6
Automata composition
6
Boolean functions
6
Conjunctive normal forms
6
Decision theory
6
FSA intersection
6
Finite state
6
Propositional formulas
6
Propositional satisfiability
6
Regular expressions
6
Running time
6
Several variables
6
State-of-the-art performance
6
Abstracting
4
Alloy
4
Benchmarking
4
Clause learning
4
Construction approaches
4
Finite automata
4
Formal methods
4
Intersection grammars (FSIG)
4
Java programming language
4
Model checking
4
Model counting
4
Pattern matching
4
Program translators
4
Propositional variables
4
Regular expression compilation
4
SAT-based bounded verification
4
-
1por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT solvers...”
Publicado 2010
-
2Materias: “...SAT solvers...”
SER -
3por Dania, Carolina InésMaterias: “...SAT solver...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Dania, Carolina InésMaterias: “...SAT solver...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5Materias: “...SAT solvers...”
-
6Materias: “...SAT solvers...”
SER -
7Publicado 2011Materias: “...SAT solvers...”
-
8
-
9Materias: “...SAT solvers...”
-
10Materias: “...SAT solvers...”
SER -
11Publicado 2012Materias: “...SAT solvers...”
-
12Materias: “...SAT solvers...”
Artículo publishedVersion -
13Materias: “...SAT solvers...”
Artículo publishedVersion -
14
-
15por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT solvers...”
Publicado 2010
-
16Materias: “...SAT solvers...”
CONF