Navegação Teses por autor "Oliveira, Ricardo Tavares de"
Itens para a visualização no momento 1-1 of 1
-
Arco consistência generalizada em codificações SAT relativas
Oliveira, Ricardo Tavares de (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 ...