30,39 €
Produit Neuf
Ou 7,60 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur The Satisfiability Problem de Schöning, Uwe Format Broché - Livre Informatique
0 avis sur The Satisfiability Problem de Schöning, Uwe Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Les Chevaux De La Satire - Les Koredugaw Du Mali
1 avis
Occasion dès 41,70 €
-
Complete Preliminary For Schools Student's Book Without Answers With Online Practice And Workbook Without Answers With Audio Download
Neuf dès 90,80 €
Occasion dès 24,68 €
-
Grammaire Raisonnée Anglais - Tome 2. Enseignement Supérieur, 400 Nouveaux Exercices Et Tests De Niveau
14 avis
Occasion dès 17,40 €
-
The Vocabulary Guide Anglais - Les Mots Anglais Et Leur Emploi
Neuf dès 20,90 €
Occasion dès 19,86 €
-
Pronunciation Dictionary - (1 Cd-Rom)
6 avis
Occasion dès 21,80 €
-
Grammaire Explicative De L'anglais - Niveaux C1/C2
8 avis
Occasion dès 18,90 €
-
Apprendre L'hébreu Biblique Par Les Textes En 30 Leçons.
Occasion dès 23,00 €
-
Rudolf Steiner, Carl Gustav Jung, Hermann Hesse : Passeurs Entre Orient Et Occident - Intégration Et Transformation Des Savoirs Sur L'orient Dans L'espace Germanophone (1890-1940)
Occasion dès 28,00 €
-
Berlin 1700-1929 - Sociabilités Et Espace Urbain
1 avis
Neuf dès 27,00 €
-
Love On The Left Bank
2 avis
Neuf dès 43,77 €
Occasion dès 31,62 €
-
Stalky Et Cie Fo Bi
Occasion dès 30,80 €
-
Skywalks Anglais Seconde - Hachette Éducation - Nouveau Programme 2025
Occasion dès 24,00 €
-
The Catch Me If You Can
Neuf dès 42,24 €
Occasion dès 22,40 €
-
Tales From Watership Down
Neuf dès 19,76 €
-
The Chemistry Between Us
Neuf dès 40,66 €
-
Beauty Imagined: A History Of The Global Beauty Industry
Occasion dès 33,93 €
-
Another Fashion Book
Occasion dès 28,20 €
-
Classical Duets For Violin
Neuf dès 24,74 €
-
Options As A Strategic Investment
Neuf dès 34,83 €
-
Diagrammatic Chart Of World History 5000 Years Of History
Occasion dès 29,90 €
Produits similaires
Présentation The Satisfiability Problem de Schöning, Uwe Format Broché
- Livre Informatique
Résumé :
The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a solution, in the sense of an assignment to the variables making the entire formula to evaluate to true. Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on physical principles are considered....
Biographie:
The authors, Dr. Uwe SchÖning and Dr. Jacobo Toran, are professors in the Institute of Theoretical Computer Science at the University of Ulm, Germany.
Sommaire:
The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a solution, in the sense of an assignment to the variables making the entire formula to evaluate to true. Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on physical principles are considered....
Détails de conformité du produit
Personne responsable dans l'UE