A. Kuehlmann, Ed., The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design, Boston: Kluwer Academic Publishers, 2003.
Book chapters or sections
A. Kuehlmann and J. Baumgartner, "Transformation-based verification using generalized retiming," in Lecture Notes in Computer Science: Computer Aided Verification, G. Berry, H. Comon, and A. Finkel, Eds., 2102 ed., London, UK: Springer-Verlag, 2001, pp. 104-117.
Articles in journals or magazines
D. Chai and A. Kuehlmann, "A fast pseudo-Boolean constraint solver," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 3, pp. 305-317, March 2005.
S. Chatterjee, A. Mishchenko, R. K. Brayton, and A. Kuehlmann, "On resolution proofs for combinational equivalence," in Proc. 44th Annual ACM/IEEE Design Automation Conf. (DAC 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 600-605.
Q. Zhu, N. Kitchen, A. Kuehlmann, and A. L. Sangiovanni-Vincentelli, "SAT sweeping with local observability don't-cares," in Proc. 43rd ACM/IEEE Design Automation Conf. (DAC 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 229-234.
Z. Wei, D. Chai, A. Kuehlmann, and A. R. Newton, "Fast Boolean matching with don't cares," in Proc. 2006 7th Intl. Symp. on Quality Electronic Design (ISQED '06), Los Alamitos, CA: IEEE Computer Society Press, 2006, pp. 6 pp..
D. P. Appenzeller and A. Kuehlmann, "Formal verification of a PowerPC microprocessor," in Proc. 1995 IEEE Intl. Conf. on Computer Design: VLSI in Computer and Processors, Los Alamitos, CA: IEEE Computer Society Press, 1995, pp. 79-84.
A. Kuehlmann, D. I. Cheng, A. Srinivasan, and D. P. LaPotin, "Error diagnosis for transistor-level verification," in Proc. 31st ACM/IEE Conf. on Design Automation, New York, NY: ACM Press, 1994, pp. 218-224.
Technical Reports
S. Khatri, S. Sinha, A. Kuehlmann, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "SPFD-Based Wire Removal in a Network of PLAs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/17, March 1999.