Deep learning for boolean matching

Abstract

Boolean matching é a tarefa de determinar a equivalência entre funções booleanas, uma etapa essencial no mapeamento tecnológico. Este trabalho explora um novo método para resolver boolean matching usando aprendizagem de máquina. Boolean matching é aplicado usando um jogo de aprendizagem por reforço combinado com redes neurais profundas. O objetivo do jogo é encontrar a função representante semi-canônica, que é tomada como a função que corresponde ao menor inteiro na classe de equivalência. Se para duas funções a mesma função resultante é obtida, elas são equivalentes. Resultados mostram que o método proposto teve pior qualidade de resultados e pior desempenho do que o método usado para comparação. Porém, existe espaço para melhorar a performance usando estruturas de dados mais eficientes e hardware específico.