Buscas alternativas:
math programming » fetal programming (Expandir a busca)
particle math » particle mesh (Expandir a busca), particle method (Expandir a busca), particle image (Expandir a busca)
math programming » fetal programming (Expandir a busca)
particle math » particle mesh (Expandir a busca), particle method (Expandir a busca), particle image (Expandir a busca)
1
“... 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
Dissertação