@misc{indiciaea0b1ad9fd1a3, title = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)}, author = {Muhammad Usman and Wenxi Wang and Kaiyuan Wang and Marko Vasic and Haris Vikalo and Sarfraz Khurshid}, year = {2020}, doi = {10.1145/3385412.3386015}, url = {https://arxiv.org/abs/1912.11580}, note = {Source identifier: 1912.11580} }