Buscas alternativas:
resolution algorithm » solution algorithm (Expandir a busca), evolution algorithm (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)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
resolution algorithm » solution algorithm (Expandir a busca), evolution algorithm (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)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (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