@article{mlicamaxsatbasedframeworkforlearning,
  title = {MLIC: A MaxSAT-Based framework for learning interpretable classification rules},
  author = {Dmitry Malioutov and Kuldeep S. Meel},
  year = {2018},
  eprint = {1812.01843},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1812.01843v1},
}