Insatisfazibilidade Minimal: Complexidade e Algoritmos. Brancalhão, G. R. & Soviersovski, G. A. Trabalho de Conclusão de Curso do Bacharelado em Ciência da Computação da UFPR, July, 2019.
bibtex   
@Misc{BrancalhaoSoviersovski19,
   author       = {Gabriele Rodrigues Brancalhão and Gustavo
                     Aschwanden Soviersovski},
   title        = {Insatisfazibilidade Minimal: Complexidade e
                     Algoritmos},
   type = {Trabalho de Conclusão de Curso},
   howpublished = {Trabalho de Conclusão de Curso do Bacharelado em
                     Ciência da Computação da UFPR},
   school   = {BCC/UFPR},
   month        = jul,
   year         = {2019}
}

Downloads: 0