Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
2018
Détails
Titre
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
Auteur(s)
Petkovska, Ana ; Mishchenko, Alan ; Novo, David ; Owaida, Muhsen ; Ienne, Paolo
Publié dans
Advanced Logic Synthesis
Pages
169-188
Date
2018
Editeur
Springer
Laboratoires
LAP
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LAP - Laboratoire d'architecture de processeurs
Travail produit à l'EPFL
Chapitres de livre
Publié
Travail produit à l'EPFL
Chapitres de livre
Publié
Date de création de la notice
2023-01-20