Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
18
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Benchmarking
Computational experiment
6
ALL-SAT
4
Arbitrary color
4
Automata composition
4
Boolean functions
4
Clause learning
4
Conjunctive normal forms
4
Construction approaches
4
Decision theory
4
Equitable coloring
4
Exact algorithms
4
FSA intersection
4
Finite automata
4
Finite state
4
Intersection grammars (FSIG)
4
Model counting
4
Pattern matching
4
Propositional satisfiability
4
Regular expression compilation
4
Regular expressions
4
Running time
4
SAT solvers
4
Several variables
4
State-of-the-art performance
4
Adhesion
2
Administracion
2
Administración pública
2
Administration
2
Algorithms
2
-
1
-
2
-
3
-
4por Valdés Alarcón, Marcos Eduardo
Publicado 2021doctoralThesis Tésis de Doctorado publishedVersion Material Didáctico -
5
-
6
-
7
-
8por Memoli, Luciano
Publicado 2016Aportado por: Repositorio Digital (UFASTA)Tesis de grado acceptedVersion -
9
-
10por Andersch, Felipe, Colombo, Juan Cruz, Granda, Francisco, Sesma Lasierra, Wenceslao
Publicado 2023Aportado por: Repositorio Digital Universidad Torcuato Di TellaTesis de grado acceptedVersion -
11por Duzdevich, Juan Pablo
Publicado 2020Aportado por: Repositorio Institucional UNCotrabajo final de grado bachelorThesis acceptedVersion -
12
-
13
-
14por Pagliarulo, Silvana Vanesa
Publicado 2019Aportado por: Biblioteca DigitalTesis de grado publishedVersion Tesina de grado -
15por Olmedo Vázquez, Víctor Manuel, Camacho Poyato, Emilio, Rodríguez Díaz, Juan Antonio, Minjares Lugo, José Luis, Hernández Hernández, María Leticia
Publicado 2017Aportado por: Biblioteca Digitalarticle Artículo publishedVersion -
16por Berasaluce, Norberto
Publicado 2014Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
17
-
18
-
19por Del Giorgio Solfa, Federico
Publicado 2011Aportado por: SEDICI (UNLP)Tesis Trabajo de especializacion -
20