![](/img/cover-not-exists.png)
[IEEE IEEE/ACM International Conference on Computer-Aided Design - San Jose, CA (November 6-10, 1994)] IEEE/ACM International Conference on Computer-Aided Design - Boolean Constrained Encoding: A New Formulation And A Case Study
Vilar Calazans, N.L.Year:
1984
Language:
english
DOI:
10.1109/iccad.1994.629899
File:
PDF, 807 KB
english, 1984