Buscas alternativas:
math programming » fetal programming (Expandir a busca)
method math » method with (Expandir a busca), method data (Expandir a busca), method monte (Expandir a busca)
particle » particles (Expandir a busca), article (Expandir a busca)
math programming » fetal programming (Expandir a busca)
method math » method with (Expandir a busca), method data (Expandir a busca), method monte (Expandir a busca)
particle » particles (Expandir a busca), article (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