Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalência
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
tipo
- master thesis
autores
data de publicação
- 2006-01-01
prêmio patrocinado pela
- UNIVERSIDADE ESTADUAL DE MONTES CLAROS Organização