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 |
Material |
---|
Arquivos |
Downloads |
---|
Pa�ses |
Visualizações |
---|---|
Brasil |
3 |
Cidades |
Visualizações |
---|---|
Diamantina |
1 |
Limoeiro Do Norte |
1 |
Linhares |
1 |