Implementing Lexicographic Inference Using Partial MaxSAT.

Jonas Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle

Browse the full ECSQARU paper archive.