@misc{indiciaec65022ef86f0,
  title = {MLIC: A MaxSAT-Based framework for learning interpretable classification rules},
  author = {Dmitry Malioutov and Kuldeep S. Meel},
  year = {2018},
  doi = {10.1007/978-3-319-98334-9\_21},
  url = {https://arxiv.org/abs/1812.01843},
  note = {Source identifier: 1812.01843}
}