Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 26 of 43 found articles
 
 
  Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability
 
 
Title: Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability
Author: De Ita Luna, Guillermo
López Ramírez, Cristina
González Contreras, Meliza
Appeared in: Electronic notes in discrete mathematics
Paging: Volume 69 (2018) nr. C pages 101-108
Year: 2018
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 26 of 43 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands