( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.

, и . KR, стр. 67-71. AAAI Press, (2018)

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.

Da Liu

Da Wang

Da He

Da Li

Da Zhang

 

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

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)., и . ICLP (Technical Communications), том 64 из OASIcs, стр. 11:1-11:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Significant cycle frequency based feature detection for cognitive radio systems., , , , и . CrownCom, стр. 1-4. IEEE, (2009)MAGINS: Neural Network Inertial Navigation System Corrected by Magnetic Information., , , , , , и . IPCCC, стр. 1-8. IEEE, (2021)A traffic-modeling approach to understanding the QoS correlations in network., , и . ICCT, стр. 697-701. IEEE, (2013)SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs., и . KR, стр. 67-71. AAAI Press, (2018)UltraMotion: High-Precision Ultrasonic Arm Tracking for Real-World Exercises., , , , , , и . IEEE Trans. Mob. Comput., 23 (2): 1846-1862 (февраля 2024)BCE: A Behavior-Learning-Based Crowdedness Estimation Mechanism for Crowdsensing Buses., , , , , и . IEEE Access, (2019)SMT-based Constraint Answer Set Solver EZSMT+., и . CoRR, (2019)Obstacle Avoidance Path Planning for Double Manipulators Based on Improved Artificial Potential Field Method., , , , , , и . ICITEE, стр. 50:1-50:5. ACM, (2019)Benchmarking Language Models for Code Syntax Understanding., , , , и . EMNLP (Findings), стр. 3071-3093. Association for Computational Linguistics, (2022)