Horn Maximum Satisfiability: Reductions, Algorithms & Applications

TitleHorn Maximum Satisfiability: Reductions, Algorithms & Applications
Publication TypeJournal Article
Year of Publication2017
AuthorsMarques-Silva, J., Ignatiev A., & Morgado A.
JournalarXiv preprint arXiv:1705.05335