BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning

Chih-Fan LaiJie-Hong R. JiangKuo-Hua WangJIE-HONG JIANG2018-09-102018-09-102010-06http://scholars.lib.ntu.edu.tw/handle/123456789/359600BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learningconference paper10.1145/1837274.18373982-s2.0-77956192966