Search
Now showing items 1-2 of 2
Which Boolean Functions Maximize Mutual Information on Noisy Inputs?
Publisher: IEEE
Year: 2014
Multiple clock domain synchronization in a QBF-based verification environment
Publisher: IEEE
Year: 2014