Buscas alternativas:
math programming » fetal programming (Expandir a busca)
particles math » particles with (Expandir a busca), particles matter (Expandir a busca), particles and (Expandir a busca)
math programming » fetal programming (Expandir a busca)
particles math » particles with (Expandir a busca), particles matter (Expandir a busca), particles and (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