Solving and Sampling with Many Solutions
dc.contributor.author
Cardinal, Jean
dc.contributor.author
Nummenpalo, Jerri
dc.contributor.author
Welzl, Emo
dc.date.accessioned
2020-03-16T12:17:05Z
dc.date.available
2020-01-07T04:52:12Z
dc.date.available
2020-01-07T08:56:35Z
dc.date.available
2020-03-16T12:17:05Z
dc.date.issued
2020-05
dc.identifier.issn
0178-4617
dc.identifier.issn
1432-0541
dc.identifier.other
10.1007/s00453-019-00654-w
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/387863
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.subject
SAT
en_US
dc.subject
CNF
en_US
dc.subject
Sampling
en_US
dc.subject
Parameterized
en_US
dc.title
Solving and Sampling with Many Solutions
en_US
dc.type
Journal Article
dc.date.published
2019-12-23
ethz.journal.title
Algorithmica
ethz.journal.volume
82
en_US
ethz.journal.issue
5
en_US
ethz.journal.abbreviated
Algorithmica
ethz.pages.start
1474
en_US
ethz.pages.end
1489
en_US
ethz.identifier.wos
ethz.identifier.scopus
ethz.publication.place
New York, NY
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02643 - Institut für Theoretische Informatik / Inst. Theoretical Computer Science::03672 - Steger, Angelika / Steger, Angelika::03457 - Welzl, Emo (emeritus) / Welzl, Emo (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02643 - Institut für Theoretische Informatik / Inst. Theoretical Computer Science::03672 - Steger, Angelika / Steger, Angelika::03457 - Welzl, Emo (emeritus) / Welzl, Emo (emeritus)
ethz.date.deposited
2020-01-07T04:52:19Z
ethz.source
WOS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2020-03-16T12:17:16Z
ethz.rosetta.lastUpdated
2024-02-02T10:35:14Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Solving%20and%20Sampling%20with%20Many%20Solutions&rft.jtitle=Algorithmica&rft.date=2020-05&rft.volume=82&rft.issue=5&rft.spage=1474&rft.epage=1489&rft.issn=0178-4617&1432-0541&rft.au=Cardinal,%20Jean&Nummenpalo,%20Jerri&Welzl,%20Emo&rft.genre=article&rft_id=info:doi/10.1007/s00453-019-00654-w&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [131006]