Indicadores
Sobre
● Palavra-chave
benchmarks
Relacionadas
combinational equivalence checking
sat solvers
neural networks
structural recovering
CNN
formal verification
Ranking no sistema
27861ª de 130k palavras-chave
Professores
1
que já usaram o termo
Usos
4
menções no Lattes
Publicações
4
marcadas com o termo
Unidades
1
com produção na área
Departamentos
1
envolvidos
Visão geral
Professores
Publicações
Quem mais utilizou a palavra-chave
top 5
01
Leandro Maia Silva
Coltec · Colégio Técnico
4
usos
Menções por ano
2008–2022
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
2
1
1
'08
'18
'22
Distribuição por unidade
1 unidades
Coltec
4
Palavras-chave relacionadas
coocorrência
01
combinational equivalence checking
2
02
sat solvers
2
03
neural networks
2
04
structural recovering
2
05
CNN
1
06
formal verification
1