Navegação Teses por assunto "Otimização matemática"
Itens para a visualização no momento 1-3 of 3
-
Arco consistência generalizada em codificações SAT relativas
(2017)Resumo: Várias codificações de problemas relevantes para SAT ou suas variações são conhecidas e estudadas pela comunidade. Uma possível maneira de mensurar a eficiência destas codificações consiste em avaliar a manutenção ... -
Uma condição suficiente para otimização global sem retrocesso
(2018)Resumo: Um problema de satisfação de restrições (CSP, do inglês constraint satisfaction problem) consiste em encontrar uma atribuição de valores a um conjunto de variáveis que satisfaça uma rede de restrições. Técnicas de ... -
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
(2015)Resumo: Ao longo da última década, resolvedores de Satisfatibilidade Booleana (SAT) e Programação Inteira Linear (ILP) melhoraram significativamente com a introdução de novos algoritmos, que permitiram o tratamento de um ...