DEITA, guillermo. Modelling the 3-Coloring of Serial-Parallel Graphs Via Incremental Satisfiability. IEEE Latin America Transactions, [S. l.], v. 17, n. 4, p. 607–614, 2019. Disponível em: https://latamt.ieeer9.org/index.php/transactions/article/view/103. Acesso em: 19 oct. 2024.