Progressive generation of canonical irredundant sums of products using a SAT solver
Metadata only
Datum
2018Typ
- Book Chapter
Publikationsstatus
publishedBuchtitel
Advanced Logic SynthesisSeiten / Artikelnummer
Verlag
SpringerThema
Sums of products; SOPs; Cubes; SAT solving; Logic synthesis