Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold.

Venkatesan Guruswami Jun-Ting Hsieh Pravesh K. Kothari Peter Manohar

Published in: FOCS (2023)

Keyphrases

constraint satisfaction problems
constraint satisfaction
inductive inference
threshold selection
search space
theorem prover
constraint propagation
arc consistency
databases
solving constraint satisfaction problems
constraint networks
theorem proving
np hard
symmetry breaking
sat encodings
case study
real time