Computing Optimal Decision Sets with SAT.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic

Browse the full CP paper archive.