[ACM Press the 42nd annual conference - San Diego, California, USA (2005.06.13-2005.06.17)] Proceedings of the 42nd annual conference on Design automation - DAC '05 - Effective bounding techniques for solving unate and binate covering problems
Li, Xiao Yu, Stallmann, Matthias F., Brglez, FrancYear:
2005
DOI:
10.1145/1065579.1065682
File:
PDF, 455 KB
2005