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 using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using methods » tuning methods (Expandir a busca), costing methods (Expandir a busca), testing 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 using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using methods » tuning methods (Expandir a busca), costing methods (Expandir a busca), testing methods (Expandir a busca)
1
“... 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