Horn Maximum Satisfiability: Reductions, Algorithms & Applications

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