Metadata only
Date
2007Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedJournal / series
Journal on Satisfiability, Boolean Modeling and ComputationVolume
Pages / Article No.
Publisher
University of DelftSubject
bitonic sorting network; code equivalence; Gray code; Hamiltonian cycle; hypercube; SAT-solver; symmetry breakingOrganisational unit
03686 - Kröning, Daniel
Related publications and datasets
Is identical to: https://doi.org/10.3929/ethz-a-005632646
More
Show all metadata
ETH Bibliography
yes
Altmetrics