Retour au catalogue
Problème SAT : progrès et défis
De Sais Lakhdar
ISBN-13
9782746218864
Éditeur
Hermès science publications-Lavoisier (Paris)
Date de publication
01/01/2008
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 comp
0 annonce en vente actuellement
