Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Regular expressions
ALL-SAT
5
Automata composition
5
Boolean functions
5
Conjunctive normal forms
5
Decision theory
5
FSA intersection
5
Finite state
5
Pattern matching
5
Propositional satisfiability
5
Running time
5
SAT solvers
5
Several variables
5
State-of-the-art performance
5
Benchmarking
3
Clause learning
3
Construction approaches
3
Finite automata
3
Intersection grammars (FSIG)
3
Model counting
3
Regular expression compilation
3
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 -
5
-
6
-
7Materias: “...Regular expressions...”
JOUR -
8Publicado 2008Materias: “...Regular expressions...”
-
9Materias: “...Regular expressions...”
CONF