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