Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability
| Autor: | De Ita Luna, Guillermo, López Ramírez, Cristina, González Contreras, Meliza |
|---|---|
| Zdroj: | In Electronic Notes in Discrete Mathematics August 2018 69:101-108 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect