( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Local Search For Satisfiability Modulo Integer Arithmetic Theories.

, , и . ACM Trans. Comput. Log., 24 (4): 32:1-32:26 (октября 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.

Sonny Silvester Bohang

Li Li

Li Li

Li Li

Li Li

 

Другие публикации лиц с тем же именем

Knowledge Augmented Inference Network for Natural Language Inference., , , и . CCKS, том 957 из Communications in Computer and Information Science, стр. 129-135. Springer, (2018)S2AP: Sequential Senti-Weibo Analysis Platform., , , , и . DASFAA (3), том 12114 из Lecture Notes in Computer Science, стр. 745-749. Springer, (2020)Efficient Local Search for Nonlinear Real Arithmetic., , , и . CoRR, (2023)Combining Chrominance Features and Fast ICA for Noncontact Imaging Photoplethysmography., , , , и . IEEE Access, (2020)Local Search For Satisfiability Modulo Integer Arithmetic Theories., , и . ACM Trans. Comput. Log., 24 (4): 32:1-32:26 (октября 2023)Cyberbullying Detection with BiRNN and Attention Mechanism., , , и . MLICOM, том 294 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 623-635. Springer, (2019)Implementation of Bus Value-Added Service Platform via Crowdsourcing Incentive., , , , и . ER Workshops, том 11158 из Lecture Notes in Computer Science, стр. 3-6. Springer, (2018)An Analytical Method for 3-D Sound Source Localization Based on a Five-Element Microphone Array., , , , , и . IEEE Trans. Instrum. Meas., (2022)FewJoint: few-shot learning for joint dialogue understanding., , , , , и . Int. J. Mach. Learn. Cybern., 13 (11): 3409-3423 (2022)A Technical Overview of AV1., , , , , , , , , и 5 other автор(ы). Proc. IEEE, 109 (9): 1435-1462 (2021)