Clauses Versus Gates in CEGAR-Based 2QBF Solving.

Balabanov, ValeriyValeriyBalabanovJiang, Jie-Hong RolandJie-Hong RolandJiangMishchenko, AlanAlanMishchenkoScholl, ChristophChristophSchollJIE-HONG JIANG2020-06-112020-06-112016https://scholars.lib.ntu.edu.tw/handle/123456789/497772Clauses Versus Gates in CEGAR-Based 2QBF Solving.conference paperhttp://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12660