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

DOI10.4230/LIPICS.CCC.2022.11MaRDI QIDQ6568350zbMATH OpenFDO

Authors Jun-Ting Hsieh, Sidhanth Mohanty, Jeff Xu

Publication date 5 July 2024

Full work available at URL https://doi.org/10.4230/LIPICS.CCC.2022.11

zbMATH Keywords

certified countingconstraint satisfaction problemsrandom graphs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: Certifying solution geometry in random CSPs: counts, clusters and balance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6568350)