Oliveira Neto, Alexandre Francisco de; José Neto, João (Orientador) 
Subjects: CÁLCULO PROPOSICIONAL, RESOLUÇÃO DE PROBLEMAS, PROGRAMAÇÃO POR RESTRIÇÕES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA NETO, Alexandre Francisco de. Técnicas de satisfiabilidade aplicadas à programação por restrições: resolução da restrição alldifferent através de DPLL(T). 2008. Trabalho de Conclusão de Curso (Graduação) – Escola Politécnica, Universidade de São Paulo, São Paulo, 2008. Disponível em: https://bdta.abcd.usp.br/directbitstream/d1ae9728-f2ba-43b1-b07e-6ae147c48d9d/ALEXANDRE_FRANCISCODE_OLIVEIRA_NETO.pdf. Acesso em: 17 abr. 2026.APA
Oliveira Neto, A. F. de. (2008). Técnicas de satisfiabilidade aplicadas à programação por restrições: resolução da restrição alldifferent através de DPLL(T) (Trabalho de Conclusão de Curso (Graduação). Escola Politécnica, Universidade de São Paulo, São Paulo. Recuperado de https://bdta.abcd.usp.br/directbitstream/d1ae9728-f2ba-43b1-b07e-6ae147c48d9d/ALEXANDRE_FRANCISCODE_OLIVEIRA_NETO.pdfNLM
Oliveira Neto AF de. Técnicas de satisfiabilidade aplicadas à programação por restrições: resolução da restrição alldifferent através de DPLL(T) [Internet]. 2008 ;[citado 2026 abr. 17 ] Available from: https://bdta.abcd.usp.br/directbitstream/d1ae9728-f2ba-43b1-b07e-6ae147c48d9d/ALEXANDRE_FRANCISCODE_OLIVEIRA_NETO.pdfVancouver
Oliveira Neto AF de. Técnicas de satisfiabilidade aplicadas à programação por restrições: resolução da restrição alldifferent através de DPLL(T) [Internet]. 2008 ;[citado 2026 abr. 17 ] Available from: https://bdta.abcd.usp.br/directbitstream/d1ae9728-f2ba-43b1-b07e-6ae147c48d9d/ALEXANDRE_FRANCISCODE_OLIVEIRA_NETO.pdf
