Detection of Planted Solutions for Flat Satisfiability Problems

Quentin Berthet, Jordan S. Ellenberg. Detection of Planted Solutions for Flat Satisfiability Problems. In Kamalika Chaudhuri, Masashi Sugiyama, editors, The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS 2019, 16-18 April 2019, Naha, Okinawa, Japan. Volume 89 of Proceedings of Machine Learning Research, pages 1303-1312, PMLR, 2019. [doi]

Abstract

Abstract is missing.