3-SAT Faster and Simpler-Unique-SAT Bounds for PPSZ Hold in General
dc.contributor.author
Hertli, Timon
dc.date.accessioned
2017-06-11T08:51:04Z
dc.date.available
2017-06-11T08:51:04Z
dc.date.issued
2014
dc.identifier.issn
0097-5397
dc.identifier.issn
1095-7111
dc.identifier.other
10.1137/120868177
dc.identifier.uri
http://hdl.handle.net/20.500.11850/84499
dc.language.iso
en
dc.publisher
SIAM
dc.subject
Satisfiability
dc.subject
Exponential time
dc.subject
Algorithm
dc.subject
3-SAT
dc.title
3-SAT Faster and Simpler-Unique-SAT Bounds for PPSZ Hold in General
dc.type
Journal Article
ethz.journal.title
SIAM Journal on Computing
ethz.journal.volume
43
ethz.journal.issue
2
ethz.journal.abbreviated
SIAM j. comput. (Print)
ethz.pages.start
718
ethz.pages.end
729
ethz.notes
Submitted 1 March 2012, Accepted 19 June 2013, Published online 29 April 2014.
ethz.identifier.wos
ethz.publication.place
Philadelphia, PA
ethz.publication.status
published
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
2017-06-11T08:52:32Z
ethz.source
ECIT
ethz.identifier.importid
imp593651eda1d9142984
ethz.ecitpid
pub:133293
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T21:11:43Z
ethz.rosetta.lastUpdated
2024-02-01T21:51:01Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=3-SAT%20Faster%20and%20Simpler-Unique-SAT%20Bounds%20for%20PPSZ%20Hold%20in%20General&rft.jtitle=SIAM%20Journal%20on%20Computing&rft.date=2014&rft.volume=43&rft.issue=2&rft.spage=718&rft.epage=729&rft.issn=0097-5397&1095-7111&rft.au=Hertli,%20Timon&rft.genre=article&rft_id=info:doi/10.1137/120868177&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [133188]