Horn Maximum Satisfiability: Reductions, Algorithms and Applications.

Joo Marques-Silva, Alexey Ignatiev, Antnio Morgado

Browse the full EPIA paper archive.