Nouveau : -5% dès 30€ | -10% dès 50€

Livraison offerte  !
Recyclivre, l'occasion fait le lien

Problème SAT : progrès et défis

Lakhdar Saïs
  • 15/05/2008
  • Lavoisier-Hermès
NC (0 avis)
Couverture de Problème SAT : progrès et défis par Lakhdar Saïs

États des livres

Résumé

Collection programmation par contraintes

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 vont de la théorie aux applications industrielles en passant par les techniques modernes de résolution de SAT. Il constitue une référence idéale pour l'étudiant, le chercheur ou l'ingénieur. Ce large public y trouvera donc un exposé clair et détaillé des différentes facettes d'un formalisme générique de résolution de problèmes difficiles.

Prix  11,10 €

En état Comme neuf

product_favorite.connexion

Livré à partir du 10 juin

Vous faites un achat engagé

50 emplois solidaires crées

+ 1 000 000 € reversés à des associations

1% for the planet member Certified B Corporation

Livraison offerte !

Comme neuf

Prix  11,10 €

Ces livres pourraient aussi vous plaire

Donnez une seconde vie à vos livres !

  • Facile et rapide
  • Paiement en 48H
  • Expédition gratuite
Scanner pour télécharger l'application
QR Code
Disponible sur l'Apple Store Disponible sur Google Play

Autres livres liés à Lakhdar Saïs

Avis des lecteurs Recyclivre

NC (0 avis)

Aucun avis pour le moment

Donnez votre avis sur le contenu du livre. 

Donnez votre avis

Abonnez-vous à notre newsletter

Sélection lecture et Bons plans
Chargement en cours