skip to main content

Handbook of Satisfiability

A. Biere ; Armin Biere; M Heule

2009

Accessible en ligne

  • Titre:
    Handbook of Satisfiability
  • Auteur: A. Biere
  • Autre(s) auteur(s): Armin Biere; M Heule
  • Date de publication: 2009
  • Langue: Anglais
  • Identifiant: ISBN 1-58603-929-6 ;ISBN 1-4416-1678-0 ;ISBN 1-60750-376-X ;ISBN 600-00-1439-2
  • Source: Collège de France (ressources électroniques)
    Mines ParisTech (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (ressources électroniques)
    Dauphine (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré