"An Automated Logic-Level Framework for Approximate Modular Arithmetic ..."

Haroon Waris, Chenghua Wang, Weiqiang Liu (2022)

Details and statistics

DOI: 10.1007/978-3-030-98347-5_2

access: closed

type: Part in Book or Collection

metadata version: 2023-02-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics