Certifying solution geometry in random CSPs: counts, clusters and balance.

Fri, 01 Jan 2021 00:00:00 +0100

Jun-Ting Hsieh, Sidhanth Mohanty, Jeff Xu:
Certifying solution geometry in random CSPs: counts, clusters and balance. CoRR abs/2106.12710 (2021)