Vlady Ravelomanana
- Exact enumeration of satisfiable 2-SAT formulae
2021/08/18 by Sergey Dovgal, Dovgal, Sergey, Élie de Panafieu +3 · 1 citation
Computer Science · #Advanced Graph Theory Research #Combinatorics (math.CO) #Constraint Satisfaction and Optimization #Data Management and Algorithms #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Statistical Mechanics (cond-mat.stat-mech)