Mostrando 1 - 10 resultados de 10 para a busca 'math programming problems algorithm using method', tempo de busca: 0,24s

5

... em SMT, como: Z3, Boolector e MathSAT. Para avaliação de desempenho, os algoritmos são aplicados...

Um novo método de otimização baseado em teorias de satisfatibilidade

Publicado em 2017
Dissertação

7

...Data regression problems are common in the literature, therein it is desired to infer the...

PROGRAMAÇÃO GENÉTICA, REDES NEURAIS ARTIFICIAIS E TÉCNICAS DE BALANCEAMENTO NA MODELAGEM DE DADOS AGRÍCOLAS: ESTUDO DA DOENÇA MOFO BRANCO

Publicado em 2012
Dissertação