Vi visar att vissa gemensamma och viktiga globala begränsningar som ALL-DIFFERENT och GCC kan brytas ner i enkla aritmetiska begränsningar där vi uppnår bundet eller intervall konsekvens, och i vissa fall ännu större beskärning. Dessa nedbrytningar kan enkelt läggas till nya lösare. De ger också andra begränsningar med tillgång till tillstånd för förökaren genom att dela variabler. En sådan fördelning kan användas för att förbättra spridningen mellan olika begränsningar. Vi rapporterar experiment med vår nedbrytning i en pseudoboolesk lösning.
Nedbrytningar av ALL-DIFFERENT i enkla aritmetiska begränsningar så att gräns- och intervallkonsistens kan uppnås föreslogs i REF.
Decompositions of All Different, Global Cardinality and Related Constraints
{'venue': 'IJCAI-2009', 'journal': None, 'mag_field_of_study': ['Computer Science']}