Lakhdar Saïs

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 …