Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000188963> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2000188963 endingPage "425" @default.
- W2000188963 startingPage "388" @default.
- W2000188963 abstract "This article explores the question of when two propagation-based constraint systems have the same behavior, in terms of search space. We categorize the behavior of domain and bounds propagators for primitive constraints, and provide theorems that allow us to determine propagation behaviors for conjunctions of constraints. We then show how we can use this to analyze CLP(FD) programs to determine when we can safely replace domain propagators by more efficient bounds propagators without increasing search space. Empirical evaluation shows that programs optimized by the analysis' results are considerably more efficient." @default.
- W2000188963 created "2016-06-24" @default.
- W2000188963 creator A5021717408 @default.
- W2000188963 creator A5064839018 @default.
- W2000188963 date "2005-05-01" @default.
- W2000188963 modified "2023-10-16" @default.
- W2000188963 title "When do bounds and domain propagation lead to the same search space?" @default.
- W2000188963 cites W1488929456 @default.
- W2000188963 cites W1535560884 @default.
- W2000188963 cites W1979577606 @default.
- W2000188963 cites W2033130678 @default.
- W2000188963 cites W2067273780 @default.
- W2000188963 cites W2085891301 @default.
- W2000188963 doi "https://doi.org/10.1145/1065887.1065889" @default.
- W2000188963 hasPublicationYear "2005" @default.
- W2000188963 type Work @default.
- W2000188963 sameAs 2000188963 @default.
- W2000188963 citedByCount "38" @default.
- W2000188963 countsByYear W20001889632012 @default.
- W2000188963 countsByYear W20001889632013 @default.
- W2000188963 countsByYear W20001889632015 @default.
- W2000188963 countsByYear W20001889632016 @default.
- W2000188963 countsByYear W20001889632017 @default.
- W2000188963 countsByYear W20001889632018 @default.
- W2000188963 countsByYear W20001889632022 @default.
- W2000188963 crossrefType "journal-article" @default.
- W2000188963 hasAuthorship W2000188963A5021717408 @default.
- W2000188963 hasAuthorship W2000188963A5064839018 @default.
- W2000188963 hasBestOaLocation W20001889631 @default.
- W2000188963 hasConcept C104416048 @default.
- W2000188963 hasConcept C105795698 @default.
- W2000188963 hasConcept C111919701 @default.
- W2000188963 hasConcept C11413529 @default.
- W2000188963 hasConcept C126255220 @default.
- W2000188963 hasConcept C134306372 @default.
- W2000188963 hasConcept C137105694 @default.
- W2000188963 hasConcept C154945302 @default.
- W2000188963 hasConcept C2524010 @default.
- W2000188963 hasConcept C2776036281 @default.
- W2000188963 hasConcept C2778572836 @default.
- W2000188963 hasConcept C2781089630 @default.
- W2000188963 hasConcept C33923547 @default.
- W2000188963 hasConcept C36503486 @default.
- W2000188963 hasConcept C37914503 @default.
- W2000188963 hasConcept C41008148 @default.
- W2000188963 hasConcept C44616089 @default.
- W2000188963 hasConcept C49937458 @default.
- W2000188963 hasConcept C80444323 @default.
- W2000188963 hasConcept C94124525 @default.
- W2000188963 hasConceptScore W2000188963C104416048 @default.
- W2000188963 hasConceptScore W2000188963C105795698 @default.
- W2000188963 hasConceptScore W2000188963C111919701 @default.
- W2000188963 hasConceptScore W2000188963C11413529 @default.
- W2000188963 hasConceptScore W2000188963C126255220 @default.
- W2000188963 hasConceptScore W2000188963C134306372 @default.
- W2000188963 hasConceptScore W2000188963C137105694 @default.
- W2000188963 hasConceptScore W2000188963C154945302 @default.
- W2000188963 hasConceptScore W2000188963C2524010 @default.
- W2000188963 hasConceptScore W2000188963C2776036281 @default.
- W2000188963 hasConceptScore W2000188963C2778572836 @default.
- W2000188963 hasConceptScore W2000188963C2781089630 @default.
- W2000188963 hasConceptScore W2000188963C33923547 @default.
- W2000188963 hasConceptScore W2000188963C36503486 @default.
- W2000188963 hasConceptScore W2000188963C37914503 @default.
- W2000188963 hasConceptScore W2000188963C41008148 @default.
- W2000188963 hasConceptScore W2000188963C44616089 @default.
- W2000188963 hasConceptScore W2000188963C49937458 @default.
- W2000188963 hasConceptScore W2000188963C80444323 @default.
- W2000188963 hasConceptScore W2000188963C94124525 @default.
- W2000188963 hasIssue "3" @default.
- W2000188963 hasLocation W20001889631 @default.
- W2000188963 hasLocation W20001889632 @default.
- W2000188963 hasOpenAccess W2000188963 @default.
- W2000188963 hasPrimaryLocation W20001889631 @default.
- W2000188963 hasRelatedWork W1522641229 @default.
- W2000188963 hasRelatedWork W1558099741 @default.
- W2000188963 hasRelatedWork W1989488198 @default.
- W2000188963 hasRelatedWork W2000188963 @default.
- W2000188963 hasRelatedWork W2035811095 @default.
- W2000188963 hasRelatedWork W2390815705 @default.
- W2000188963 hasRelatedWork W2578026779 @default.
- W2000188963 hasRelatedWork W2963402450 @default.
- W2000188963 hasRelatedWork W3016468266 @default.
- W2000188963 hasRelatedWork W3104916418 @default.
- W2000188963 hasVolume "27" @default.
- W2000188963 isParatext "false" @default.
- W2000188963 isRetracted "false" @default.
- W2000188963 magId "2000188963" @default.
- W2000188963 workType "article" @default.