Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold.
Venkatesan GuruswamiJun-Ting HsiehPravesh K. KothariPeter ManoharPublished in: CoRR (2023)
Keyphrases
- constraint satisfaction problems
- constraint propagation
- inductive inference
- theorem proving
- arc consistency
- constraint satisfaction
- threshold selection
- information systems
- adaptive threshold
- symmetry breaking
- theorem prover
- association rules
- constraint programming
- state space
- search space
- computational complexity
- neural network
- distributed constraint satisfaction