Efficient Model Based Diagnosis with Maximum Satisfiability.

Joo Marques-Silva, Mikols Janota, Alexey Ignatiev, Antnio Morgado

Browse the full IJCAI paper archive.