Élie de Panafieu
- Complexity Estimates for Two Uncoupling Algorithms
2013/01/23 by Alin Bostan, Frédéric Chyzak, Bostan, Alin +4 · 1 citation
Computer Science · #Digital Filter Design and Implementation #FOS: Computer and information sciences #Numerical Methods and Algorithms #Polynomial and algebraic computation #Symbolic Computation (cs.SC) #cs.SC
- 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)