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.
Ciencias Informáticas
2
Matemática
2
ALL-SAT; model counting; FSA intersection; regular expression compilation; Non-clausal formula; clause learning
1
Complete graph
1
Intersection graph
1
Nonempty intersection
1
Planar graph
1
Search process
1
Truth assignment
1
Web Search Engines (WSE)
1
big data
1
clique coloring, edge intersection graphs, paths on grids, polynomial time algorithm
1
intersection caching
1
-
1
-
2Materias: “...clique coloring, edge intersection graphs, paths on grids, polynomial time algorithm...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4Materias: “...ALL-SAT; model counting; FSA intersection; regular expression compilation; Non-clausal formula...”
Aportado por: SEDICI (UNLP)Objeto de conferencia