Partial Satisfaction of k-Satisfiable Formulas
dc.contributor.author
Käppeli, Claudia
dc.contributor.author
Scheder, Dominik
dc.date.accessioned
2017-06-08T17:46:39Z
dc.date.available
2017-06-08T17:46:39Z
dc.date.issued
2007
dc.identifier.other
10.1016/j.endm.2007.07.077
dc.identifier.uri
http://hdl.handle.net/20.500.11850/7390
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Partial Satisfaction
dc.subject
Satisfiability
dc.title
Partial Satisfaction of k-Satisfiable Formulas
dc.type
Conference Paper
ethz.journal.title
Electronic Notes in Discrete Mathematics
ethz.journal.volume
29
ethz.pages.start
497
ethz.pages.end
501
ethz.event
European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB 2007)
ethz.event.location
Sevilla, Spain
ethz.event.date
September 11-15, 2007
ethz.notes
Available online 8 August 2007.
ethz.publication.place
Amsterdam
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-08T17:46:55Z
ethz.source
ECIT
ethz.identifier.importid
imp59364bb24fc6c57816
ethz.ecitpid
pub:17936
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-17T08:10:07Z
ethz.rosetta.lastUpdated
2024-02-01T14:36:19Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Partial%20Satisfaction%20of%20k-Satisfiable%20Formulas&rft.jtitle=Electronic%20Notes%20in%20Discrete%20Mathematics&rft.date=2007&rft.volume=29&rft.spage=497&rft.epage=501&rft.au=K%C3%A4ppeli,%20Claudia&Scheder,%20Dominik&rft.genre=proceeding&rft_id=info:doi/10.1016/j.endm.2007.07.077&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35322]