Metadata only
Datum
2007Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedZeitschrift / Serie
Journal on Satisfiability, Boolean Modeling and ComputationBand
Seiten / Artikelnummer
Verlag
University of DelftThema
bitonic sorting network; code equivalence; Gray code; Hamiltonian cycle; hypercube; SAT-solver; symmetry breakingOrganisationseinheit
03686 - Kröning, Daniel
Zugehörige Publikationen und Daten
Is identical to: https://doi.org/10.3929/ethz-a-005632646
ETH Bibliographie
yes
Altmetrics