Técnicas de satisfiabilidade aplicadas à programação por restrições resolução da restrição alldifferent através de DPLL(T)
Alexandre Francisco Oliveira Neto João José Neto 1948-
São Paulo EPUSP 2008
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(PCS TF 2008 O4t )(Acessar)