Matches in SemOpenAlex for { <https://semopenalex.org/work/W1640224191> ?p ?o ?g. }
- W1640224191 abstract "Constraint Programming (CP) has been successfully applied to both constraint satisfaction and constraint optimization problems. A wide variety of specialized global constraints provide critical assistance in achieving a good model that can take advantage of the structure of the problem in the search for a solution. However, a key outstanding issue is the representation of 'ad-hoc' constraints that do not have an inherent combinatorial nature, and hence are not modeled well using narrowly specialized global constraints. We attempt to address this issue by considering a hybrid of search and compilation. Specifically we suggest the use of Reduced Ordered Multi-Valued Decision Diagrams (ROMDDs) as the supporting data structure for a generic global constraint. We give an algorithm for maintaining generalized arc consistency (GAC) on this constraint that amortizes the cost of the GAC computation over a root-to-leaf path in the search tree without requiring asymptotically more space than used for the MDD. Furthermore we present an approach for incrementally maintaining the reduced property of the MDD during the search, and show how this can be used for providing domain entailment detection. Finally we discuss how to apply our approach to other similar data structures such as AOMDDs and Case DAGs. The technique used can be seen as an extension of the GAC algorithm for the regular language constraint on finite length input." @default.
- W1640224191 created "2016-06-24" @default.
- W1640224191 creator A5014293815 @default.
- W1640224191 creator A5023108558 @default.
- W1640224191 creator A5088729085 @default.
- W1640224191 date "2006-11-28" @default.
- W1640224191 modified "2023-09-27" @default.
- W1640224191 title "A Generic Global Constraint based on MDDs" @default.
- W1640224191 cites W106499552 @default.
- W1640224191 cites W1490859187 @default.
- W1640224191 cites W1518070129 @default.
- W1640224191 cites W1534902470 @default.
- W1640224191 cites W1551607979 @default.
- W1640224191 cites W1590659796 @default.
- W1640224191 cites W1895637447 @default.
- W1640224191 cites W2039852170 @default.
- W1640224191 cites W2052207834 @default.
- W1640224191 cites W2080267935 @default.
- W1640224191 cites W2111575167 @default.
- W1640224191 cites W2146530711 @default.
- W1640224191 cites W2149479807 @default.
- W1640224191 cites W2154126477 @default.
- W1640224191 cites W2164279585 @default.
- W1640224191 cites W2401610261 @default.
- W1640224191 cites W47957325 @default.
- W1640224191 cites W80763888 @default.
- W1640224191 hasPublicationYear "2006" @default.
- W1640224191 type Work @default.
- W1640224191 sameAs 1640224191 @default.
- W1640224191 citedByCount "0" @default.
- W1640224191 crossrefType "posted-content" @default.
- W1640224191 hasAuthorship W1640224191A5014293815 @default.
- W1640224191 hasAuthorship W1640224191A5023108558 @default.
- W1640224191 hasAuthorship W1640224191A5088729085 @default.
- W1640224191 hasConcept C113174947 @default.
- W1640224191 hasConcept C11413529 @default.
- W1640224191 hasConcept C125583679 @default.
- W1640224191 hasConcept C126255220 @default.
- W1640224191 hasConcept C134306372 @default.
- W1640224191 hasConcept C137105694 @default.
- W1640224191 hasConcept C137631369 @default.
- W1640224191 hasConcept C154945302 @default.
- W1640224191 hasConcept C162319229 @default.
- W1640224191 hasConcept C173404611 @default.
- W1640224191 hasConcept C176783269 @default.
- W1640224191 hasConcept C17744445 @default.
- W1640224191 hasConcept C178481205 @default.
- W1640224191 hasConcept C199360897 @default.
- W1640224191 hasConcept C199539241 @default.
- W1640224191 hasConcept C199622910 @default.
- W1640224191 hasConcept C207024777 @default.
- W1640224191 hasConcept C2524010 @default.
- W1640224191 hasConcept C26517878 @default.
- W1640224191 hasConcept C2776036281 @default.
- W1640224191 hasConcept C2776359362 @default.
- W1640224191 hasConcept C2776436953 @default.
- W1640224191 hasConcept C33923547 @default.
- W1640224191 hasConcept C38652104 @default.
- W1640224191 hasConcept C41008148 @default.
- W1640224191 hasConcept C44616089 @default.
- W1640224191 hasConcept C49937458 @default.
- W1640224191 hasConcept C62469222 @default.
- W1640224191 hasConcept C80444323 @default.
- W1640224191 hasConcept C94625758 @default.
- W1640224191 hasConceptScore W1640224191C113174947 @default.
- W1640224191 hasConceptScore W1640224191C11413529 @default.
- W1640224191 hasConceptScore W1640224191C125583679 @default.
- W1640224191 hasConceptScore W1640224191C126255220 @default.
- W1640224191 hasConceptScore W1640224191C134306372 @default.
- W1640224191 hasConceptScore W1640224191C137105694 @default.
- W1640224191 hasConceptScore W1640224191C137631369 @default.
- W1640224191 hasConceptScore W1640224191C154945302 @default.
- W1640224191 hasConceptScore W1640224191C162319229 @default.
- W1640224191 hasConceptScore W1640224191C173404611 @default.
- W1640224191 hasConceptScore W1640224191C176783269 @default.
- W1640224191 hasConceptScore W1640224191C17744445 @default.
- W1640224191 hasConceptScore W1640224191C178481205 @default.
- W1640224191 hasConceptScore W1640224191C199360897 @default.
- W1640224191 hasConceptScore W1640224191C199539241 @default.
- W1640224191 hasConceptScore W1640224191C199622910 @default.
- W1640224191 hasConceptScore W1640224191C207024777 @default.
- W1640224191 hasConceptScore W1640224191C2524010 @default.
- W1640224191 hasConceptScore W1640224191C26517878 @default.
- W1640224191 hasConceptScore W1640224191C2776036281 @default.
- W1640224191 hasConceptScore W1640224191C2776359362 @default.
- W1640224191 hasConceptScore W1640224191C2776436953 @default.
- W1640224191 hasConceptScore W1640224191C33923547 @default.
- W1640224191 hasConceptScore W1640224191C38652104 @default.
- W1640224191 hasConceptScore W1640224191C41008148 @default.
- W1640224191 hasConceptScore W1640224191C44616089 @default.
- W1640224191 hasConceptScore W1640224191C49937458 @default.
- W1640224191 hasConceptScore W1640224191C62469222 @default.
- W1640224191 hasConceptScore W1640224191C80444323 @default.
- W1640224191 hasConceptScore W1640224191C94625758 @default.
- W1640224191 hasLocation W16402241911 @default.
- W1640224191 hasOpenAccess W1640224191 @default.
- W1640224191 hasPrimaryLocation W16402241911 @default.
- W1640224191 hasRelatedWork W1483520058 @default.
- W1640224191 hasRelatedWork W1532176371 @default.
- W1640224191 hasRelatedWork W1567338500 @default.