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