Mostrando 1 - 20 resultados de 23 para a busca 'algorithm math programming*', tempo de busca: 0,15s

11

... 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

15

...-equivalence modulo A, C and AC are specified in Coq and proved sound. An algorithm implemented in OCaml...

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Tese

19

... are investigated, the Genetic Programming and Artificial Neural Networks. Still, in many cases 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