Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
2018
Details
Title
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
Author(s)
Petkovska, Ana ; Mishchenko, Alan ; Novo, David ; Owaida, Muhsen ; Ienne, Paolo
Published in
Advanced Logic Synthesis
Pages
169-188
Date
2018
Publisher
Springer
Laboratories
LAP
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAP - Processor Architecture Laboratory
Work produced at EPFL
Book chapters
Published
Work produced at EPFL
Book chapters
Published
Record creation date
2023-01-20