Edit Profile (opens in new tab) Tu, Kuan-Hua Co-Author Distance Author ID: tu.kuan-hua Published as: Tu, Kuan-Hua Documents Indexed: 2 Publications since 2015 Co-Authors: 5 Co-Authors with 2 Joint Publications 35 Co-Co-Authors Co-Authors 0 single-authored 2 Jiang, Jie-Hong Roland 1 Hsu, Tzu-Chien 1 Kushik, Natalia 1 Wang, Hung-En 1 Yevtushenko, Nina Serials 1 IEEE Transactions on Computers Fields 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ QELL: QBF reasoning with extended clause learning and levelized SAT solving. Zbl 1471.68263 Tu, Kuan-Hua; Hsu, Tzu-Chien; Jiang, Jie-Hong R. 5 2015 QELL: QBF reasoning with extended clause learning and levelized SAT solving. Zbl 1471.68263 Tu, Kuan-Hua; Hsu, Tzu-Chien; Jiang, Jie-Hong R. 5 2015 all top 5 Cited by 9 Authors 3 Seidl, Martina 2 Egly, Uwe 2 Lonsing, Florian 2 Tentrup, Leander 1 Bloem, Roderick 1 Braud-Santoni, Nicolas 1 Hadzic, Vedad 1 Hecking-Harbusch, Jesko 1 Pulina, Luca Cited in 2 Serials 1 Artificial Intelligence 1 Formal Methods in System Design Cited in 3 Fields 5 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year