research
          
      
      ∙
      01/20/2018
    A high-performance analog Max-SAT solver and its application to Ramsey numbers
We introduce a continuous-time analog solver for MaxSAT, a quintessentia...
          
            research
          
      
      ∙
      08/02/2012
     
             
  
  
     
                             share
 share