Richard J. Lipton, J. D. Nash. Design automation algorithms: Research and applications. In James S. Crabbe, Charles E. Radke, Hillel Ofek, editors, Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982. pages 410, ACM/IEEE, 1982. [doi]
@inproceedings{LiptonN82, title = {Design automation algorithms: Research and applications}, author = {Richard J. Lipton and J. D. Nash}, year = {1982}, doi = {10.1145/800263.809237}, url = {http://doi.acm.org/10.1145/800263.809237}, researchr = {https://researchr.org/publication/LiptonN82}, cites = {0}, citedby = {0}, pages = {410}, booktitle = {Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982}, editor = {James S. Crabbe and Charles E. Radke and Hillel Ofek}, publisher = {ACM/IEEE}, isbn = {0-89791-020-6}, }