Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista

• Ano de defesa: 2015
• Autor(a) principal: Ribas, Bruno César
• Orientador(a): Silva, Fabiano, 1972-
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Palavras-chave em Português: Ciência da computação; Programação linear - Processamento de dados; Otimização matemática; Algorítmos de computador
• Link de acesso: https://hdl.handle.net/1884/41122

Orientador: Prof. Dr. Fabiano Silva