Author of the publication

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)

, , , , , and . (2019)cite arxiv:1912.11580.

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

Incremental Analysis of Evolving Alloy Models., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 174-191. Springer, (2019)TestMC: Testing Model Counters using Differential and Metamorphic Testing., , and . ASE, page 709-721. IEEE, (2020)A Survey of Hybrid Human-Artificial Intelligence for Social Computing., , , , , and . IEEE Trans. Hum. Mach. Syst., 52 (3): 468-480 (2022)Metallic surface defect recognition network based on global feature aggregation and dual context decoupled head., , , and . Appl. Soft Comput., (2024)Analysis of Gamification Strategies for Children's Safety Popularization Education Based on AR Technology., , , and . HCI (32), volume 14715 of Lecture Notes in Computer Science, page 142-155. Springer, (2024)CadiBack: Extracting Backbones with CaDiCaL., , and . SAT, volume 271 of LIPIcs, page 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A novel dynamic observer-based contact force control strategy in robotic grinding to improve blade profile accuracy., , , , , and . Robotics Comput. Integr. Manuf., (2025)Point-driven toolpath curve and orientation smoothing in robotic belt grinding for turbine blade., , , , and . Robotics Comput. Integr. Manuf., (2025)The Digital Senses: An Analysis of Internet Use's Impact on Visual, Auditory, Olfactory, Gustatory, and Tactile Perceptions., , , , , , , and . IIKI, page 99-109. IEEE, (2024)A Review on Serious Games in E-learning., , , , , and . SSCI, page 1-8. IEEE, (2021)