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

Proposing a logic-based approach for generating minimal explanations for linear support vector classifiers with reject option, ensuring correctness and efficiency.