research
          
      
      ∙
      09/11/2022
    Nearly all k-SAT functions are unate
We prove that 1-o(1) fraction of all k-SAT functions on n Boolean variab...
          
            research
          
      
      ∙
      05/24/2022
     
            
Use your Google Account to sign in to DeepAI