 |
Optimization of arithmetic units for embedded computing
1 : INSA Lyon, Inria, CITI, UR3720
INSA Lyon, Inria
This Master thesis demonstrates that CP can efficiently address arithmetic circuit optimization problems traditionally reserved for ILP or SAT paradigms.
