Robuta

https://arxiv.org/abs/2209.04894 [2209.04894] Nearly all $k$-SAT functions are unate Abstract page for arXiv paper 2209.04894: Nearly all $k$-SAT functions are unate all k220904894nearlysat