Syftet med detta dokument är att visa hur införandet av nya primitiva begränsningar (t.ex. Bland, di n, cykel) över nite domäner i begränsningslogiken programmeringssystem CHIP resulterar i nding mycket snabbt bra lösningar för en stor klass av kult sekvensering, schemaläggning, geometrisk placering och fordon routing problem. Den mittersta begränsningen gör det möjligt att specificera sekvenseringsbegränsningar på ett mycket koncist sätt. För första gången kan di n-restriktionen uttrycka och lösa direkt flerdimensionella placeringsproblem där man måste beakta icke överlappande begränsningar mellan n-dimensionella objekt (t.ex. rektanglar, parallellepipeder). Cykelrestriktionen gör det möjligt att ange ett brett spektrum av problem med grafpartitionering som ännu inte kunde uttryckas med hjälp av aktuella begränsande logiska programmeringsspråk. En av de främsta fördelarna med alla dessa nya primitiva är att mer globalt ta hänsyn till en uppsättning elementära begränsningar. Slutligen påpekar vi att alla tidigare primitiva begränsningar avsevärt ökar CHIP-systemets kraft, vilket gör det möjligt att lösa verkliga livsproblem som inte var inom räckhåll för begränsningsteknik tidigare.
En konfigurerbar cykelbegränsning var också en del av de globala begränsningar som infördes i CHIP lösaren REF.
Introducing Global Constraints in CHIP
{'venue': None, 'journal': 'Mathematical and Computer Modelling', 'mag_field_of_study': ['Mathematics']}