deIta, guillermo. “Modelling the 3-Coloring of Serial-Parallel Graphs Via Incremental Satisfiability”. IEEE Latin America Transactions 17, no. 4 (November 2, 2019): 607–614. Accessed May 19, 2024. https://latamt.ieeer9.org/index.php/transactions/article/view/103.