دورية أكاديمية
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 |
Full Text Finder | تدمد: | 15710653 |
|---|---|
| DOI: | 10.1016/j.endm.2018.07.014 |