Description du livre
Ce livre décrit les découvertes récentes dans le domaine de la logique booléenne et de l'algèbre booléenne, couvrant les domaines d'application de la conception de circuits et de systèmes, mais aussi la recherche fondamentale en mathématiques et en informatique théorique, avec des chapitres invités et une sélection des meilleurs articles présentés au 13e Atelier international annuel sur les problèmes booléens.
Fournit une référence unique aux recherches les plus récentes dans le domaine de la synthèse logique et des techniques booléennes ;Comprend une sélection des meilleures communications présentées au 13e Atelier international annuel sur les problèmes booléens ;Couvre les algèbres booléennes, la logique booléenne, la modélisation booléenne, la recherche combinatoire, l'arithmétique booléenne et binaire, les logiciels et outils pour la résolution des problèmes booléens, les applications de la logique booléenne et des algèbres, les applications aux problèmes réels, la résolution des contraintes booléennes et les extensions de la logique booléenne.