Total de Visualizações

Material

Visualizações

3
Total de visualiza��es
Reduções de problemas em grafos com soluções conexas para (MAX)SAT e adaptação de um resolvedor SAT e MAXSAT não clausal para as instâncias obtidas

3

Total de Visualizações por mês

Material

Download de arquivos

Arquivos

Downloads

Ranking de visualizações por países

Pa�ses

Visualizações

Brasil

3

Ranking de visualizações por cidades

Cidades

Visualizações

Diamantina

1

Limoeiro Do Norte

1

Linhares

1