Adjé, Assalé

1. Fast and Efficient Bit-Level Precision Tuning
   2021/03/09 by Adjé, Assalé, Khalifa, Dorra Ben, Martel, Matthieu · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)
2. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
   2015/03/24 by Adjé, Assalé, Garoche, Pierre-Loïc, Magron, Victor · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)