Buscas alternativas:
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
and functions » and function (Expandir a busca), and functional (Expandir a busca), of functions (Expandir a busca)
functions the » functions that (Expandir a busca), functions to (Expandir a busca), functions 4th (Expandir a busca)
algorithm to » algorithms to (Expandir a busca), algorithm _ (Expandir a busca), algorithm and (Expandir a busca)
the function » the functional (Expandir a busca), wave function (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (Expandir a busca)
to and » to aid (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
and functions » and function (Expandir a busca), and functional (Expandir a busca), of functions (Expandir a busca)
functions the » functions that (Expandir a busca), functions to (Expandir a busca), functions 4th (Expandir a busca)
algorithm to » algorithms to (Expandir a busca), algorithm _ (Expandir a busca), algorithm and (Expandir a busca)
the function » the functional (Expandir a busca), wave function (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (Expandir a busca)
to and » to aid (Expandir a busca)
1
2
Assuntos:
“...Soil and Covariate Data...”
Análise de fontes de incerteza na modelagem espacial do solo
Tese
3
“... 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