Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 24 van 31 gevonden artikelen
 
 
  Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
 
 
Titel: Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
Auteur: Bian, Zhengbing
Chudak, Fabian
Macready, William
Roy, Aidan
Sebastiani, Roberto
Varotti, Stefano
Verschenen in: Information and computation
Paginering: Jaargang 275 () nr. C pagina's p.
Jaar: 2020
Inhoud:
Uitgever: Elsevier Inc.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 24 van 31 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland