Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Regular expressions
ALL-SAT
6
Automata composition
6
Boolean functions
6
Conjunctive normal forms
6
Decision theory
6
FSA intersection
6
Finite state
6
Pattern matching
6
Propositional satisfiability
6
Running time
6
SAT solvers
6
Several variables
6
State-of-the-art performance
6
Benchmarking
4
Clause learning
4
Construction approaches
4
Finite automata
4
Intersection grammars (FSIG)
4
Model counting
4
Regular expression compilation
4
Administrative data processing
2
Aggregate queries
2
Aggregates
2
Cardinalities
2
Complex aggregates
2
Complex mapping
2
Data compression
2
Data structures
2
Data warehouses
2
-
1Publicado 2011Materias: “...regular expression compilation...”
-
2
-
3Publicado 2012Materias: “...Regular expression compilation...”
-
4Materias: “...Regular expression compilation...”
Artículo publishedVersion -
5Materias: “...Regular expression compilation...”
Artículo publishedVersion -
6
-
7
-
8Materias: “...Regular expressions...”
JOUR -
9Publicado 2008Materias: “...Regular expressions...”
-
10Materias: “...Regular expressions...”
CONF