Boolean Functions with Ordered Domains in Answer Set Programming.

Mario Alviano, Wolfgang Faber, Hannes Strass

Browse the full AAAI paper archive.