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.
Regular expressions
ALL-SAT
1
Automata composition
1
Benchmarking
1
Boolean functions
1
Ciencias Informáticas
1
Clause learning
1
Conjunctive normal forms
1
Construction approaches
1
Decision theory
1
Expresiones regulares
1
FSA intersection
1
Finite automata
1
Finite state
1
Information visualization
1
Intersection grammars (FSIG)
1
Model counting
1
Pattern matching
1
Propositional satisfiability
1
Regular expression compilation
1
Running time
1
SAT solvers
1
Several variables
1
Software testing
1
State-of-the-art performance
1
Testing de software
1
User interactions
1
Visualización de información
1
-
1
-
2Materias: “...Regular expression compilation...”
Artículo publishedVersion