( en | de | ru )

 

Disambiguation of "Li, Bohan"

Author of the publication

copydeleteadd this publication to your clipboard
Local Search For Satisfiability Modulo Integer Arithmetic Theories.

, , and . ACM Trans. Comput. Log., 24 (4): 32:1-32:26 (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sonny Silvester Bohang

Li Li

Li Li

Li Li

Li Li

 

Other publications of authors with the same name

UNMAT: Visual comparison and exploration of uncertainty in large graph sampling., , , , and . J. Vis. Lang. Comput., (2017)Implementation of Bus Value-Added Service Platform via Crowdsourcing Incentive., , , , and . ER Workshops, volume 11158 of Lecture Notes in Computer Science, page 3-6. Springer, (2018)Cyberbullying Detection with BiRNN and Attention Mechanism., , , and . MLICOM, volume 294 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 623-635. Springer, (2019)When Counting Meets HMER: Counting-Aware Network for Handwritten Mathematical Expression Recognition., , , , , , , and . ECCV (28), volume 13688 of Lecture Notes in Computer Science, page 197-214. Springer, (2022)ATextCNN Model: A New Multi-classification Method for Police Situation., , , and . ADMA, volume 12447 of Lecture Notes in Computer Science, page 135-147. Springer, (2020)Efficient Local Search for Nonlinear Real Arithmetic., , , and . CoRR, (2023)FewJoint: few-shot learning for joint dialogue understanding., , , , , and . Int. J. Mach. Learn. Cybern., 13 (11): 3409-3423 (2022)Deep Group Residual Convolutional CTC Networks for Speech Recognition., , and . ADMA, volume 11323 of Lecture Notes in Computer Science, page 318-328. Springer, (2018)A Novel Feature Selection-Based Sequential Ensemble Learning Method for Class Noise Detection in High-Dimensional Data., , , , , and . ADMA, volume 11323 of Lecture Notes in Computer Science, page 55-65. Springer, (2018)Knowledge Augmented Inference Network for Natural Language Inference., , , and . CCKS, volume 957 of Communications in Computer and Information Science, page 129-135. Springer, (2018)