Show simple item record

dc.contributor.author
Petkovska, Ana
dc.contributor.author
Mishchenko, Alan
dc.contributor.author
Novo, David
dc.contributor.author
Owaida, Muhsen
dc.contributor.author
Ienne, Paolo
dc.contributor.editor
Reis, André I.
dc.contributor.editor
Drechsler, Rolf
dc.date.accessioned
2018-03-07T11:20:36Z
dc.date.available
2018-03-06T03:33:31Z
dc.date.available
2018-03-07T11:20:36Z
dc.date.issued
2018
dc.identifier.isbn
978-3-319-67294-6
en_US
dc.identifier.isbn
978-3-319-67295-3
en_US
dc.identifier.other
10.1007/978-3-319-67295-3_8
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/246186
dc.language.iso
en
en_US
dc.publisher
Springer International Publishing
en_US
dc.subject
Sums of products
en_US
dc.subject
SOPs
en_US
dc.subject
Cubes
en_US
dc.subject
SAT solving
en_US
dc.subject
Logic synthesis
en_US
dc.title
Progressive generation of canonical irredundant sums of products using a SAT solver
en_US
dc.type
Book Chapter
dc.date.published
2017-11-16
ethz.book.title
Advanced Logic Synthesis
en_US
ethz.pages.start
169
en_US
ethz.pages.end
188
en_US
ethz.identifier.scopus
ethz.publication.place
Cham
en_US
ethz.publication.status
published
en_US
ethz.date.deposited
2018-03-06T03:33:40Z
ethz.source
SCOPUS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-03-07T11:20:40Z
ethz.rosetta.lastUpdated
2018-03-07T11:20:40Z
ethz.rosetta.exportRequired
false
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Progressive%20generation%20of%20canonical%20irredundant%20sums%20of%20products%20using%20a%20SAT%20solver&rft.date=2018&rft.spage=169&rft.epage=188&rft.au=Petkovska,%20Ana&Mishchenko,%20Alan&Novo,%20David&Owaida,%20Muhsen&Ienne,%20Paolo&rft.isbn=978-3-319-67294-6&978-3-319-67295-3&rft.genre=bookitem&rft_id=info:doi/978-3-319-67294-6&info:doi/978-3-319-67295-3&rft.btitle=Advanced%20Logic%20Synthesis
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record