Ma S and Ampadu P.
(2019). Optimal SAT-based Minimum Adder Synthesis of Linear Transformations 2019 IEEE 62nd International Midwest Symposium on Circuits and Systems (MWSCAS). 10.1109/MWSCAS.2019.8885033. 978-1-7281-2788-0. (335-338). https://ieeexplore.ieee.org/document/8885033/