Author of the publication

SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.

, and . KR, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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