deIta guillermo. Modelling the 3-Coloring of Serial-Parallel Graphs Via Incremental Satisfiability. IEEE LAT AM T [Internet]. 2019 Nov. 2 [cited 2024 May 28];17(4):607-14. Available from: https://latamt.ieeer9.org/index.php/transactions/article/view/103