Optimum PLA folding through boolean satisfiability

José M. Quintana, Maria J. Avedillo, Maria P. Parra, José L. Huertas. Optimum PLA folding through boolean satisfiability. In Isao Shirakawa, editor, Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995. ACM, 1995. [doi]

Authors

José M. Quintana

This author has not been identified. Look up 'José M. Quintana' in Google

Maria J. Avedillo

This author has not been identified. Look up 'Maria J. Avedillo' in Google

Maria P. Parra

This author has not been identified. Look up 'Maria P. Parra' in Google

José L. Huertas

This author has not been identified. Look up 'José L. Huertas' in Google