Decomposition of the NVALUE constraint - Computer Science > Artificial IntelligenceReportar como inadecuado




Decomposition of the NVALUE constraint - Computer Science > Artificial Intelligence - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



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

Fuente: https://arxiv.org/







Documentos relacionados