research
          
      
      ∙
      08/18/2021
    Exact enumeration of satisfiable 2-SAT formulae
We obtain exact expressions counting the satisfiable 2-SAT formulae and ...
          
            research
          
      
      ∙
      06/07/2021
     
             
  
  
     
                             share
 share