Logic-based Explanations for Linear Support Vector Classifiers with Reject Option

Open in new window