Saïd Jabbour

Mining to Compress Table Constraints

2015

In this paper, we propose an extension of our mining-based SAT compression framework to constraint satisfaction problem (CSP). We consider n-ary extensional constraints (table constraints). Our approach aims to reduce the size of the CSP …

On repairing queries in cloud computing

2016

Cloud Computing based Software as a Service (SaaS) combines multiple Web Services to satisfy a SaaS request, therefore SaaS should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. However, …