دورية أكاديمية
Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability
العنوان: | Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability |
---|---|
المؤلفون: | De Ita Luna, Guillermo, López Ramírez, Cristina, González Contreras, Meliza |
المصدر: | In Electronic Notes in Discrete Mathematics August 2018 69:101-108 |
قاعدة البيانات: | ScienceDirect |
تدمد: | 15710653 |
---|---|
DOI: | 10.1016/j.endm.2018.07.014 |