![Analysis and TCS_hi-res_logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-02/Analysis%20and%20TCS_hi-res.png.jpg?itok=HyceKiAM)
Abstract
We prove that 1-o(1) fraction of all k-SAT functions on n Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer k. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003. (Joint work with József Balogh, Dingding Dong, Bernard Lidický, and Nitya Mani).