Computing Optimal Decision Sets with SAT

Open in new window