Search Results for author: Begum Genc

Found 3 papers, 0 papers with code

Finding Counterfactual Explanations through Constraint Relaxations

no code implementations7 Apr 2022 Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan

Interactive constraint systems often suffer from infeasibility (no solution) due to conflicting user constraints.

counterfactual Counterfactual Explanation

On the Complexity of Robust Stable Marriage

no code implementations18 Sep 2017 Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan

Then, we show the equivalence between the SAT formulation and finding a (1, 1)-supermatch on a specific family of instances.

Finding Robust Solutions to Stable Marriage

no code implementations24 May 2017 Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin

We first define robustness by introducing (a, b)-supermatches.

Cannot find the paper you are looking for? You can Submit a new open access paper.