Material |
Visualizações |
5
Total de visualiza��es
|
---|---|---|
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
|
5 |
Material |
---|
Arquivos |
Downloads |
---|
Pa�ses |
Visualizações |
---|---|
Portugal |
2 |
Brasil |
1 |
Cidades |
Visualizações |
---|---|
Diamantina |
1 |