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.
Pattern matching
Calculations
6
Regular expressions
6
ALL-SAT
4
Automata composition
4
Benchmarking
4
Boolean functions
4
Clause learning
4
Conjunctive normal forms
4
Construction approaches
4
Data structures
4
Decision theory
4
Differentiation (calculus)
4
FSA intersection
4
Finite automata
4
Finite state
4
Intersection grammars (FSIG)
4
Model counting
4
Propositional satisfiability
4
Recursive types
4
Regular expression compilation
4
Running time
4
SAT solvers
4
Several variables
4
State-of-the-art performance
4
Administrative data processing
2
Aggregate queries
2
Aggregates
2
Animation
2
Artificial intelligence
2
-
1por Giacomantone, Javier, Abásolo Guerrero, María José, Bria, Oscar N., Cristina, Federico, Dapoto, Sebastián H., Artola, Verónica, Lorenti, Luciano, Violini, María Lucía, Manresa Yee, Cristina, Más Sansó, Ramón, Naiouf, Marcelo
Publicado 2012Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9Artículo publishedVersion
-
10Artículo publishedVersion
-
11
-
12
-
13
-
14
-
15
-
16
-
17