Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché

Problème Sat - Progrès Et Défis - Saïs Lakhdar

Collection: Contra
Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

93,00 €

Produit Neuf

Ou 23,25 € /mois

Livraison à 0,01 €
Livré entre le 15 et le 20 mai

Voir les modes de livraison

PRO Vendeur favori

4,6/5 sur + de 1 000 ventes

Libraire professionnel. Livre neuf. Expédition sous 3 à 6 jours. Suivi par mail.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Produits similaires

Présentation Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché
- Livre Informatique

Livre Informatique - Saïs Lakhdar - 01/04/2008 - Broché

Auteur(s) : Saïs Lakhdar

Editeur : Hermes Science Publications

Collection : Contra

Parution : 01/04/2008

Nombre de pages : 352

Nombre de livres : 1

Expédition : 550

Dimensions : 23.4 x 15.6 x 0.16

ISBN : 9782746218864

Résumé :
Cet ouvrage analyse les techniques actuelles du problème de satisfiabilité propositionnelle (SAT) et étudie ses défis majeurs. Ce problème fondamental se trouve au coeur de la théorie de la complexité et intervient dans de nombreux domaines tels que la logique mathématique, la déduction automatique et la programmation par contraintes. Les avancées spectaculaires obtenues sur la résolution pratique de ce problème NP-Complet de référence font aujourd'hui de SAT un formalisme puissant de modélisation et de résolution de nombreux problèmes importants incluant la vérification de matériel et de logiciels. Ces résultats ont bénéficié d'une synergie forte entre la théorie, les développements algorithmiques et les applications industrielles. Problème SAT, progrès et défis couvre divers aspects qui v

Biographie:
Lakhdar Saïs, professeur des universités est responsable du groupe "Algorithmes pour l'inférence et la prise de décision" au centre de recherche en informatique de Lens. Ses axes de recherche incluent le problème de la satisfiabilité (SAT), les formules booléennes quantifiées (QBF) et les problèmes de satisfaction de contraintes (CSP).

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Avis sur Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché - Livre Informatique

Note : 0 0 avis sur Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Problème Sat - Progrès Et Défis - Saïs Lakhdar

Présentation Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché - Livre Informatique

Avis sur Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché - Livre Informatique

Présentation Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché
- Livre Informatique