Title :
Boolean Constrained Encoding: A New Formulation And A Case Study
Author :
Calazans, Ney Laert Vilar
Keywords :
Algebra; Automata; Computer aided software engineering; Computer science; Constraint optimization; Delay; Electronic mail; Encoding; Stress; Very large scale integration;
Conference_Titel :
Computer-Aided Design, 1994., IEEE/ACM International Conference on
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1994.629899