Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige   
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 106 van 106 gevonden artikelen
 
 
  Using clausal graphs to determine the computational complexity of k-bounded positive one-in-three SAT
 
 
Titel: Using clausal graphs to determine the computational complexity of k-bounded positive one-in-three SAT
Auteur: Denman, Richard
Foster, Stephen
Verschenen in: Discrete applied mathematics
Paginering: Jaargang 157 (2009) nr. 7 pagina's 5 p.
Jaar: 2009
Inhoud:
Uitgever: Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 106 van 106 gevonden artikelen
 
<< vorige   
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland