Logic Design Using Modules and Nonlinear Integer Programming

Christos Pavlatos, Alexandros C. Dimopoulos, George K. Papakonstantinou. Logic Design Using Modules and Nonlinear Integer Programming. Journal of Circuits, Systems, and Computers, 29(10), 2020. [doi]

Abstract

Abstract is missing.