Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
DGX agentarXiv:2504.04639v4 Announce Type: replace-cross Abstract: It is an open question whether the search and decision versions of promise CSPs are equivalent. Most known algorithms for PCSPs solve only the