Chinese Remainder Encoding for Hamiltonian Cycles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marijn J. H. Heule. Chinese Remainder Encoding for Hamiltonian Cycles. In Chu Min Li, Felip Manyà, editors, Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Volume 12831 of Lecture Notes in Computer Science, pages 216-224, Springer, 2021. [doi]

This author has not been identified. Look up 'Marijn J. H. Heule' in Google

runs on WebDSL