%0 Conference Paper %1 conf/iccad/Calazans94 %A Calazans, Ney Laert Vilar %B ICCAD %D 1994 %E Jess, Jochen A. G. %E Rudell, Richard L. %I IEEE Computer Society / ACM %K dblp %P 702-706 %T Boolean constrained encoding: a new formulation and a case study. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1994.html#Calazans94 %@ 0-89791-690-5

@inproceedings{conf/iccad/Calazans94, added-at = {2023-03-24T00:00:00.000+0100}, author = {Calazans, Ney Laert Vilar}, biburl = {https://www.bibsonomy.org/bibtex/2f4e62ac3efb7ec1d62f7b3cb9d981200/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1994}, editor = {Jess, Jochen A. G. and Rudell, Richard L.}, ee = {https://dl.acm.org/citation.cfm?id=191638}, interhash = {3acf5003c62c8b2a7fe076a99ec0e52f}, intrahash = {f4e62ac3efb7ec1d62f7b3cb9d981200}, isbn = {0-89791-690-5}, keywords = {dblp}, pages = {702-706}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T20:50:18.000+0200}, title = {Boolean constrained encoding: a new formulation and a case study.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1994.html#Calazans94}, year = 1994 }