Towards a Classification of Hamiltonian Cycles in the 6-Cube
dc.contributor.author
Chebiryak, Yury
dc.contributor.author
Kroening, Daniel
dc.date.accessioned
2019-11-07T10:54:22Z
dc.date.available
2017-06-08T20:12:37Z
dc.date.available
2019-11-07T10:52:06Z
dc.date.available
2019-11-07T10:54:22Z
dc.date.issued
2007
dc.identifier.issn
1574-0617
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11305
dc.language.iso
en
en_US
dc.publisher
University of Delft
en_US
dc.subject
bitonic sorting network
en_US
dc.subject
code equivalence
en_US
dc.subject
Gray code
en_US
dc.subject
Hamiltonian cycle
en_US
dc.subject
hypercube
en_US
dc.subject
SAT-solver
en_US
dc.subject
symmetry breaking
en_US
dc.title
Towards a Classification of Hamiltonian Cycles in the 6-Cube
en_US
dc.type
Journal Article
ethz.journal.title
Journal on Satisfiability, Boolean Modeling and Computation
ethz.journal.volume
4
en_US
ethz.pages.start
57
en_US
ethz.pages.end
74
en_US
ethz.publication.place
Delft
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
03686 - Kröning, Daniel
en_US
ethz.leitzahl.certified
03686 - Kröning, Daniel
ethz.identifier.url
http://satassociation.org/jsat/index.php/jsat/article/view/44
ethz.relation.isIdenticalTo
10.3929/ethz-a-005632646
ethz.date.deposited
2017-06-08T20:12:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c011d51437344
ethz.ecitpid
pub:22450
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2017-07-13T07:15:25Z
ethz.rosetta.lastUpdated
2019-11-07T10:54:32Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Towards%20a%20Classification%20of%20Hamiltonian%20Cycles%20in%20the%206-Cube&rft.jtitle=Journal%20on%20Satisfiability,%20Boolean%20Modeling%20and%20Computation&rft.date=2007&rft.volume=4&rft.spage=57&rft.epage=74&rft.issn=1574-0617&rft.au=Chebiryak,%20Yury&Kroening,%20Daniel&rft.genre=article&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [130591]