research
∙
12/06/2022
Generation and Prediction of Difficult Model Counting Instances
We present a way to create small yet difficult model counting instances....
share
research
∙
04/29/2022
SATfeatPy – A Python-based Feature Extraction System for Satisfiability
Feature extraction is a fundamental task in the application of machine l...
research
∙
04/07/2022
Finding Counterfactual Explanations through Constraint Relaxations
Interactive constraint systems often suffer from infeasibility (no solut...
research
∙
12/21/2020
Privacy Interpretation of Behavioural-based Anomaly Detection Approaches
This paper proposes the notion of 'Privacy-Anomaly Detection' and consid...
research
∙
11/04/2020
Database Intrusion Detection Systems (DIDs): Insider Threat Detection via Behavioural-based Anomaly Detection Systems – A Brief Survey of Concepts and Approaches
One of the data security and privacy concerns is of insider threats, whe...
research
∙
07/28/2020
Data, Power and Bias in Artificial Intelligence
Artificial Intelligence has the potential to exacerbate societal bias an...
research
∙
10/15/2019
Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior
We present in this paper our solver for logic grid puzzles. The approach...
research
∙
03/08/2019
Generating Difficult SAT Instances by Preventing Triangles
When creating benchmarks for SAT solvers, we need SAT instances that are...
research
∙
09/18/2017
On the Complexity of Robust Stable Marriage
Robust Stable Marriage (RSM) is a variant of the classical Stable Marria...
research
∙
05/24/2017
Finding Robust Solutions to Stable Marriage
We study the notion of robustness in stable matching problems. We first ...
research
∙
10/12/2015
The Inductive Constraint Programming Loop
Constraint programming is used for a variety of real-world optimisation ...
research
∙
01/16/2014
Soft Constraints of Difference and Equality
In many combinatorial problems one may need to model the diversity or si...
research
∙
01/16/2014
Developing Approaches for Solving a Telecommunications Feature Subscription Problem
Call control features (e.g., call-divert, voice-mail) are primitive opti...
research
∙
01/10/2014
Transformation-based Feature Computation for Algorithm Portfolios
Instance-specific algorithm configuration and algorithm portfolios have ...
research
∙
06/24/2013
Proteus: A Hierarchical Portfolio of Solvers and Transformations
In recent years, portfolio approaches to solving SAT problems and CSPs h...
research
∙
09/06/2011