Now showing items 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 ...