FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151877291> ?p ?o ?g. }

• W2151877291 endingPage "140" @default.
• W2151877291 startingPage "108" @default.
• W2151877291 abstract "Matrix models are ubiquitous for constraint problems. Many such problems have a matrix of variables $mathcal{M}$ , with the same constraint C defined by a finite-state automaton $mathcal{A}$ on each row of $mathcal{M}$ and a global cardinality constraint $mathit{gcc}$ on each column of $mathcal{M}$ . We give two methods for deriving, by double counting, necessary conditions on the cardinality variables of the $mathit{gcc}$ constraints from the automaton $mathcal{A}$ . The first method yields linear necessary conditions and simple arithmetic constraints. The second method introduces the cardinality automaton, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints. We also provide a domain consistency filtering algorithm for the conjunction of lexicographic ordering constraints between adjacent rows of $mathcal{M}$ and (possibly different) automaton constraints on the rows. We evaluate the impact of our methods in terms of runtime and search effort on a large set of nurse rostering problem instances." @default.
• W2151877291 created "2016-06-24" @default.
• W2151877291 creator A5006736418 @default.
• W2151877291 creator A5057648356 @default.
• W2151877291 creator A5060817116 @default.
• W2151877291 creator A5060845780 @default.
• W2151877291 date "2012-12-11" @default.
• W2151877291 modified "2023-10-06" @default.
• W2151877291 title "On matrices, automata, and double counting in constraint programming" @default.
• W2151877291 cites W1490786456 @default.
• W2151877291 cites W2029414468 @default.
• W2151877291 cites W2148417962 @default.
• W2151877291 cites W2151352672 @default.
• W2151877291 cites W4229606576 @default.
• W2151877291 doi "https://doi.org/10.1007/s10601-012-9134-y" @default.
• W2151877291 hasPublicationYear "2012" @default.
• W2151877291 type Work @default.
• W2151877291 sameAs 2151877291 @default.
• W2151877291 citedByCount "3" @default.
• W2151877291 countsByYear W21518772912013 @default.
• W2151877291 countsByYear W21518772912014 @default.
• W2151877291 countsByYear W21518772912015 @default.
• W2151877291 crossrefType "journal-article" @default.
• W2151877291 hasAuthorship W2151877291A5006736418 @default.
• W2151877291 hasAuthorship W2151877291A5057648356 @default.
• W2151877291 hasAuthorship W2151877291A5060817116 @default.
• W2151877291 hasAuthorship W2151877291A5060845780 @default.
• W2151877291 hasBestOaLocation W21518772912 @default.
• W2151877291 hasConcept C105795698 @default.
• W2151877291 hasConcept C106487976 @default.
• W2151877291 hasConcept C111472728 @default.
• W2151877291 hasConcept C112505250 @default.
• W2151877291 hasConcept C11413529 @default.
• W2151877291 hasConcept C114614502 @default.
• W2151877291 hasConcept C118615104 @default.
• W2151877291 hasConcept C124101348 @default.
• W2151877291 hasConcept C135598885 @default.
• W2151877291 hasConcept C138885662 @default.
• W2151877291 hasConcept C159985019 @default.
• W2151877291 hasConcept C177264268 @default.
• W2151877291 hasConcept C192562407 @default.
• W2151877291 hasConcept C199360897 @default.
• W2151877291 hasConcept C199622910 @default.
• W2151877291 hasConcept C2524010 @default.
• W2151877291 hasConcept C2776036281 @default.
• W2151877291 hasConcept C2780586882 @default.
• W2151877291 hasConcept C33923547 @default.
• W2151877291 hasConcept C41008148 @default.
• W2151877291 hasConcept C49937458 @default.
• W2151877291 hasConcept C77088390 @default.
• W2151877291 hasConcept C80444323 @default.
• W2151877291 hasConcept C87117476 @default.
• W2151877291 hasConceptScore W2151877291C105795698 @default.
• W2151877291 hasConceptScore W2151877291C106487976 @default.
• W2151877291 hasConceptScore W2151877291C111472728 @default.
• W2151877291 hasConceptScore W2151877291C112505250 @default.
• W2151877291 hasConceptScore W2151877291C11413529 @default.
• W2151877291 hasConceptScore W2151877291C114614502 @default.
• W2151877291 hasConceptScore W2151877291C118615104 @default.
• W2151877291 hasConceptScore W2151877291C124101348 @default.
• W2151877291 hasConceptScore W2151877291C135598885 @default.
• W2151877291 hasConceptScore W2151877291C138885662 @default.
• W2151877291 hasConceptScore W2151877291C159985019 @default.
• W2151877291 hasConceptScore W2151877291C177264268 @default.
• W2151877291 hasConceptScore W2151877291C192562407 @default.
• W2151877291 hasConceptScore W2151877291C199360897 @default.
• W2151877291 hasConceptScore W2151877291C199622910 @default.
• W2151877291 hasConceptScore W2151877291C2524010 @default.
• W2151877291 hasConceptScore W2151877291C2776036281 @default.
• W2151877291 hasConceptScore W2151877291C2780586882 @default.
• W2151877291 hasConceptScore W2151877291C33923547 @default.
• W2151877291 hasConceptScore W2151877291C41008148 @default.
• W2151877291 hasConceptScore W2151877291C49937458 @default.
• W2151877291 hasConceptScore W2151877291C77088390 @default.
• W2151877291 hasConceptScore W2151877291C80444323 @default.
• W2151877291 hasConceptScore W2151877291C87117476 @default.
• W2151877291 hasIssue "1" @default.
• W2151877291 hasLocation W21518772911 @default.
• W2151877291 hasLocation W21518772912 @default.
• W2151877291 hasLocation W21518772913 @default.
• W2151877291 hasLocation W21518772914 @default.
• W2151877291 hasLocation W21518772915 @default.
• W2151877291 hasLocation W21518772916 @default.
• W2151877291 hasOpenAccess W2151877291 @default.
• W2151877291 hasPrimaryLocation W21518772911 @default.
• W2151877291 hasRelatedWork W1577272033 @default.
• W2151877291 hasRelatedWork W2002177687 @default.
• W2151877291 hasRelatedWork W2019471580 @default.
• W2151877291 hasRelatedWork W2023722467 @default.
• W2151877291 hasRelatedWork W2058170847 @default.
• W2151877291 hasRelatedWork W2168299207 @default.
• W2151877291 hasRelatedWork W2390933768 @default.
• W2151877291 hasRelatedWork W2982353255 @default.
• W2151877291 hasRelatedWork W4281971614 @default.
• W2151877291 hasRelatedWork W2058438338 @default.
• W2151877291 hasVolume "18" @default.
• W2151877291 isParatext "false" @default.
• W2151877291 isRetracted "false" @default.

• next