Bridging Constraint Satisfaction and Boolean Satisfiability

Éditeur :

Springer

Paru le : 2015-08-25

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theor...
Voir tout
Ce livre est accessible aux handicaps Voir les informations d'accessibilité
Ebook téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Compatible lecture en ligne (streaming)
52,74
Ajouter à ma liste d'envies
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

À propos

Auteur

Éditeur

Collection
n.c

Parution
2015-08-25

Pages
113 pages

EAN papier
9783319218090

Auteur(s) du livre


Justyna Petke received her D.Phil. from the University of Oxford. She is a Research Associate at the Centre for Research on Evolution, Search and Testing (CREST) in the Dept. of Computer Science, University College London. Her research interests include the connections between constraint satisfaction and search-based software engineering, including genetic improvement and combinatorial interaction testing.

Caractéristiques détaillées - droits

EAN PDF
9783319218106
Prix
52,74 €
Nombre pages copiables
1
Nombre pages imprimables
11
Taille du fichier
1731 Ko
EAN EPUB
9783319218106
Prix
52,74 €
Nombre pages copiables
1
Nombre pages imprimables
11
Taille du fichier
768 Ko

Suggestions personnalisées