Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Benchmarking
Computational experiment
6
Arbitrary color
4
Equitable coloring
4
Exact algorithms
4
ALL-SAT
3
Automata composition
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
Pattern matching
3
Propositional satisfiability
3
Regular expression compilation
3
Regular expressions
3
Running time
3
SAT solvers
3
Several variables
3
State-of-the-art performance
3
Adhesion
2
Algorithms
2
Analogue modeling
2
Benchmarks
2
Branch and cut
2
-
1Publicado 2018Materias: “...Benchmarks...”
-
2Materias: “...Benchmarks...”
SER -
3por Cristallini, Ernesto Osvaldo, García, Víctor Hugo, Guzmán, Cecilia Griselda, Yagupsky, Daniel LeonardoMaterias: “...Benchmarking...”
Publicado 2016
-
4por Schreurs, G., Buiter, S.J.H., Boutelier, J., Burberry, C., Callot, J.-P., Cavozzi, C., Cerca, M., Chen, J.-H., Cristallini, E., Cruden, A.R., Cruz, L., Daniel, J.-M., Da Poian, G., Garcia, V.H., Gomes, C.J.S., Grall, C., Guillot, Y., Guzmán, C., Hidayah, T.N., Hilley, G., Klinkmüller, M., Koyi, H.A., Lu, C.-Y., Maillot, B., Meriaux, C., Nilfouroushan, F., Pan, C.-C., Pillot, D., Portillo, R., Rosenau, M., Schellart, W.P., Schlische, R.W., Take, A., Vendeville, B., Vergnaud, M., Vettori, M., Wang, S.-H., Withjack, M.O., Yagupsky, D., Yamada, Y.Materias: “...Benchmarking...”
JOUR -
5Publicado 2001Materias: “...Benchmarking...”
-
6Materias: “...Benchmarking...”
JOUR -
7Materias: “...Benchmarking...”
-
8Materias: “...Benchmarking...”
JOUR -
9Publicado 2017Materias: “...Benchmarking...”
-
10Materias: “...Benchmarking...”
CONF -
11Publicado 2019Materias: “...Benchmarking...”
-
12
-
13Materias: “...Benchmarking...”
-
14por Méndez Díaz, I., Nasini, G., Severín, D., Associacao Portuguesa de Investigacao Operacional; de Lisboa, Centro de Investigacao Operacional; Faculdade de Ciencias da Universidade; Fundacao para a Ciencia e a Tecnologia; Instituto Nacional de Estatistica; Universite Paris-Dauphine, LAMSADEMaterias: “...Benchmarking...”
SER -
15Publicado 2017Materias: “...Benchmarking...”
-
16Materias: “...Benchmarking...”
JOUR -
17Publicado 2012Materias: “...Benchmarking...”
-
18Materias: “...Benchmarking...”
Artículo publishedVersion -
19