"Design Kernel Exploration Using QBF-Based Boolean Matching."

Thomas B. Preußer, Fredo Erxleben (2016)

Details and statistics

DOI: 10.1109/SIPS.2016.46

access: closed

type: Conference or Workshop Paper

metadata version: 2024-10-06