Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation
João Marques-Silva
◽
Karem Sakallah
João P. Marques-Silva
◽
Karem A. Sakallah
Chih-Chang Yu
◽
Hsiao-Wei Chen
◽
Tzu-Ying Chen
◽
Po-Hao Chen
◽
Hsu-Yung Cheng
Moon Jung Chung
◽
Heechul Kim
Moon Jung Chung
◽
Heechul Kim
Jia-Nian Zheng
◽
Chen-Fu Chien
◽
Tzu-Yu Lin
◽
Shih-Wei Liu
◽
Wei-Ting Huang
2004 ◽
Vol 46
(3)
◽
pp. 2-2
Peter A. Beerel
◽
Massoud Pedram