XOR via SATyrus

O ou-exclusivo (XOR) é um subproblema muito comum para outros problemas de otimização mais complexos. SATyrus é um ambiente para modelar e resolver problemas de otimização, que utiliza a lógica para definir restriçõoes e a função objetivo, na linguagem chamada SATish. Um mapeamento de fórmulas lógicas em expressões algébricas gera uma função de energia representativa do problema. Entretanto  o mapeamento não possui operador para o ou-exclusivo. Este trabalho explora a flexibilidade da linguagem SATish de modo a demonstrar que, usando um modelo base, é possível modelar outros problemas mais  complexos. As modelagens na linguagem SATish denominadas CrossWTA, LogWTA, CrossLogWTA, TreeWTA e CrossTreeWTA são estudadas como alternativas de modelagem do XOR, e a modelagem LogWTA é usada como base para um modelo do TSP.