Buscas alternativas:
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking problem » packing problem (Expandir a busca), picking problem (Expandir a busca), scheduling problem (Expandir a busca)
problem solution » problem resolution (Expandir a busca), problem situation (Expandir a busca), problem situations (Expandir a busca)
algorithm linear » algorithms linear (Expandir a busca), algorithm binary (Expandir a busca), algorithms library (Expandir a busca)
linear methods » line methods (Expandir a busca), linear metodo (Expandir a busca), nonlinear methods (Expandir a busca)
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking problem » packing problem (Expandir a busca), picking problem (Expandir a busca), scheduling problem (Expandir a busca)
problem solution » problem resolution (Expandir a busca), problem situation (Expandir a busca), problem situations (Expandir a busca)
algorithm linear » algorithms linear (Expandir a busca), algorithm binary (Expandir a busca), algorithms library (Expandir a busca)
linear methods » line methods (Expandir a busca), linear metodo (Expandir a busca), nonlinear methods (Expandir a busca)
1
2
“... aperfeiçoado. Limites superiores para o tempo de execução na solução de problemas nominais de verificação...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese