Yong Lai 赖永

Yong Lai 赖永

Jilin University - Changchun / China
Others
AD Scientific Index ID: 4883922
吉林大学
person_outline Yong Lai 赖永's MOST POPULAR ARTICLES
1-) The power of literal equivalence in model countingY Lai, KS Meel, RHC YapProceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3851-3859, 2021
2-) Reduced ordered binary decision diagram with implied literals: A new knowledge compilation approachY Lai, D Liu, S WangKnowledge and Information Systems 35 (3), 665-712, 2013
3-) New canonical representations by augmenting OBDDs with conjunctive decompositionY Lai, D Liu, M YinJournal of Artificial Intelligence Research 58, 453-521, 2017142017
4-) 基于扩展规则的模型计数与智能规划方法赖永， 欧阳丹彤， 蔡敦波， 吕帅计算机研究与发展 46 (3), 459-469, 2009142009
5-) CDText: Scene text detector based on context-aware deformable transformerY Wu, Q Kong, Y Lai, F Narducci, S WanPattern Recognition Letters 172, 8-14, 202372023