Decomposition of the NVALUE constraint - Computer Science > Artificial IntelligenceReport as inadecuate




Decomposition of the NVALUE constraint - Computer Science > Artificial Intelligence - Download this document for free, or read online. Document in PDF available to download.

Abstract: We study decompositions of NVALUE, a global constraint that can be used tomodel a wide range of problems where values need to be counted. Whilstdecomposition typically hinders propagation, we identify one decomposition thatmaintains a global view as enforcing bound consistency on the decompositionachieves bound consistency on the original global NVALUE constraint. Suchdecompositions offer the prospect for advanced solving techniques like nogoodlearning and impact based branching heuristics. They may also help SAT and IPsolvers take advantage of the propagation of global constraints.



Author: Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents