"Logic Design Using Modules and Nonlinear Integer Programming."

Christos Pavlatos, Alexandros C. Dimopoulos, George K. Papakonstantinou (2020)

Details and statistics

DOI: 10.1142/S0218126620501649

access: closed

type: Journal Article

metadata version: 2020-09-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics