Detection of Planted Solutions for Flat Satisfiability Problems

Quentin Berthet, Jordan S. Ellenberg

Abstract: We study the detection problem of finding planted solutions in random instances of flat satisfiability problems, a generalization of boolean satisfiability formulas. We describe the properties of r...