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-solving
16
Specifications
8
Alloy
6
Alloy analyzers
6
Alloys
6
Cerium alloys
6
Software testing
6
SAT solving
5
Abstracting
4
Alloy languages
4
Alloying
4
Atomic transition
4
Automated test generation
4
Automated test generations
4
Autopilot systems
4
Bounded exhaustive testing
4
Computer software
4
Contour followers
4
Dynamic logic
4
Example based
4
Korat
4
Linguistics
4
Operational languages
4
Parallel analysis
4
Propositional formulas
4
Requirements specifications
4
SAT solvers
4
Software engineering
4
Tabular expressions
4
Tabular notation
4
-
1
-
2
-
3
-
4
-
5
-
6Materias: “...SAT solving...”
-
7por Moscato, Mariano MiguelMaterias: “...SAT-SOLVING...”
Publicado 2013
Tesis doctoral publishedVersion -
8por Moscato, Mariano MiguelMaterias: “...SAT-SOLVING...”
Publicado 2013
Tesis doctoral publishedVersion -
9
-
10Materias: “...SAT solving...”
JOUR -
11Materias: “...Parallel SAT-solving...”
-
12por Rosner, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Parallel SAT-solving...”
SER -
13Materias: “...SAT solving...”
-
14Materias: “...SAT solving...”
CONF -
15Publicado 2010Materias: “...SAT-solving...”
-
16Materias: “...SAT-solving...”
SER -
17por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT-solving...”
Publicado 2010
-
18Materias: “...SAT-solving...”
SER -
19
-
20Materias: “...SAT-solving...”
Artículo publishedVersion