Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Informatique -- Mathématiques     Analyse numérique     Calculs numériques     Complexité de calcul (informatique)     Programmation par contraintes     Programmation (mathématiques)     Parcourir le catalogue     par auteur:      Saïs , Lakhdar , 1966-....       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Titre :  Problème SAT : progrès et défis , sous la direction de Lakhdar Saïs Editeur :  Paris , Hermes science publications -- impr. 2008 Description :  1 vol. (352 p.) : ill. ; 24 cm Collection :  Collection Programmation par contraintes ISBN:  978-2-7462-1886-4 , br. 2-7462-1886-0 Notes :  Bibliogr. p 319-352 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 cœur 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 Sujet :  Informatique -- Mathématiques Analyse numérique Calculs numériques Complexité de calcul (informatique) Programmation par contraintes Programmation (mathématiques)   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Archives ARCH-6008 Empruntable Disponible

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.0© 2001-2019 SirsiDynix Tous droits réservés.