@misc{indiciaec8f0d6b61f9e,
  title = {Horn Maximum Satisfiability: Reductions, Algorithms \& Applications},
  author = {Joao Marques-Silva and Alexey Ignatiev and Antonio Morgado},
  year = {2017},
  url = {https://arxiv.org/abs/1705.05335},
  note = {Source identifier: 1705.05335}
}