Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann. Fast Boolean Matching with Don t Cares. In 7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA. pages 346-351, IEEE Computer Society, 2006. [doi]
Abstract is missing.