Quiet Planting for k-SAT, Multiple Solutions of Arbitrary Geometry.

Ali Ahmadi, Kiarash Banihashem, Iman Gholami, Mohammad Taghi Hajiaghayi, Jan Olkowski

Browse the full COLT paper archive.