FRINK Linked Data Fragments server

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

• W2039916141 endingPage "33" @default.
• W2039916141 startingPage "1" @default.
• W2039916141 abstract "Constraint Programming (CP) is a proven set of techniques for solving complex combinatorial problems from a range of disciplines. The problem is specified as a set of decision variables (with finite domains) and constraints linking the variables. Local reasoning (propagation) on the constraints is central to CP. Many constraints have efficient constraint-specific propagation algorithms. In this work, we generate custom propagators for constraints. These custom propagators can be very efficient, even approaching (and in some cases exceeding) the efficiency of hand-optimised propagators. Given an arbitrary constraint, we show how to generate a custom propagator that establishes GAC in small polynomial time. This is done by precomputing the propagation that would be performed on every relevant subdomain. The number of relevant subdomains, and therefore the size of the generated propagator, is potentially exponential in the number and domain size of the constrained variables. The limiting factor of our approach is the size of the generated propagators. We investigate symmetry as a means of reducing that size. We exploit the symmetries of the constraint to merge symmetric parts of the generated propagator. This extends the reach of our approach to somewhat larger constraints, with a small run-time penalty. Our experimental results show that, compared with optimised implementations of the table constraint, our techniques can lead to an order of magnitude speedup. Propagation is so fast that the generated propagators compare well with hand-written carefully optimised propagators for the same constraints, and the time taken to generate a propagator is more than repaid." @default.
• W2039916141 created "2016-06-24" @default.
• W2039916141 creator A5051169226 @default.
• W2039916141 creator A5059061177 @default.
• W2039916141 creator A5064139739 @default.
• W2039916141 creator A5079214634 @default.
• W2039916141 creator A5090857578 @default.
• W2039916141 date "2014-06-01" @default.
• W2039916141 modified "2023-10-10" @default.
• W2039916141 title "Generating custom propagators for arbitrary constraints" @default.
• W2039916141 cites W144136056 @default.
• W2039916141 cites W1507924438 @default.
• W2039916141 cites W1522075620 @default.
• W2039916141 cites W1534902470 @default.
• W2039916141 cites W1551739174 @default.
• W2039916141 cites W1575934621 @default.
• W2039916141 cites W1577788539 @default.
• W2039916141 cites W1582504619 @default.
• W2039916141 cites W1592840579 @default.
• W2039916141 cites W1598380601 @default.
• W2039916141 cites W1704349075 @default.
• W2039916141 cites W1829813031 @default.
• W2039916141 cites W1895637447 @default.
• W2039916141 cites W1991080235 @default.
• W2039916141 cites W2003516442 @default.
• W2039916141 cites W2010489986 @default.
• W2039916141 cites W2016578044 @default.
• W2039916141 cites W2030695580 @default.
• W2039916141 cites W2099980081 @default.
• W2039916141 cites W2122726981 @default.
• W2039916141 cites W2147035284 @default.
• W2039916141 cites W2151352672 @default.
• W2039916141 cites W2153621541 @default.
• W2039916141 cites W2399304291 @default.
• W2039916141 cites W2604691761 @default.
• W2039916141 cites W2752885492 @default.
• W2039916141 cites W2913899725 @default.
• W2039916141 cites W3145128584 @default.
• W2039916141 cites W41784264 @default.
• W2039916141 cites W47957325 @default.
• W2039916141 cites W560029390 @default.
• W2039916141 cites W73629738 @default.
• W2039916141 doi "https://doi.org/10.1016/j.artint.2014.03.001" @default.
• W2039916141 hasPublicationYear "2014" @default.
• W2039916141 type Work @default.
• W2039916141 sameAs 2039916141 @default.
• W2039916141 citedByCount "6" @default.
• W2039916141 countsByYear W20399161412015 @default.
• W2039916141 countsByYear W20399161412017 @default.
• W2039916141 countsByYear W20399161412018 @default.
• W2039916141 countsByYear W20399161412020 @default.
• W2039916141 crossrefType "journal-article" @default.
• W2039916141 hasAuthorship W2039916141A5051169226 @default.
• W2039916141 hasAuthorship W2039916141A5059061177 @default.
• W2039916141 hasAuthorship W2039916141A5064139739 @default.
• W2039916141 hasAuthorship W2039916141A5079214634 @default.
• W2039916141 hasAuthorship W2039916141A5090857578 @default.
• W2039916141 hasBestOaLocation W20399161411 @default.
• W2039916141 hasConcept C104416048 @default.
• W2039916141 hasConcept C11413529 @default.
• W2039916141 hasConcept C126255220 @default.
• W2039916141 hasConcept C173608175 @default.
• W2039916141 hasConcept C2524010 @default.
• W2039916141 hasConcept C2776036281 @default.
• W2039916141 hasConcept C33923547 @default.
• W2039916141 hasConcept C37914503 @default.
• W2039916141 hasConcept C41008148 @default.
• W2039916141 hasConcept C68339613 @default.
• W2039916141 hasConceptScore W2039916141C104416048 @default.
• W2039916141 hasConceptScore W2039916141C11413529 @default.
• W2039916141 hasConceptScore W2039916141C126255220 @default.
• W2039916141 hasConceptScore W2039916141C173608175 @default.
• W2039916141 hasConceptScore W2039916141C2524010 @default.
• W2039916141 hasConceptScore W2039916141C2776036281 @default.
• W2039916141 hasConceptScore W2039916141C33923547 @default.
• W2039916141 hasConceptScore W2039916141C37914503 @default.
• W2039916141 hasConceptScore W2039916141C41008148 @default.
• W2039916141 hasConceptScore W2039916141C68339613 @default.
• W2039916141 hasFunder F4320334627 @default.
• W2039916141 hasLocation W20399161411 @default.
• W2039916141 hasLocation W20399161412 @default.
• W2039916141 hasLocation W20399161413 @default.
• W2039916141 hasOpenAccess W2039916141 @default.
• W2039916141 hasPrimaryLocation W20399161411 @default.
• W2039916141 hasRelatedWork W1589376391 @default.
• W2039916141 hasRelatedWork W1967627035 @default.
• W2039916141 hasRelatedWork W2051711022 @default.
• W2039916141 hasRelatedWork W2103449587 @default.
• W2039916141 hasRelatedWork W2184497179 @default.
• W2039916141 hasRelatedWork W2403150446 @default.
• W2039916141 hasRelatedWork W4205270981 @default.
• W2039916141 hasRelatedWork W4249402901 @default.
• W2039916141 hasRelatedWork W4294734199 @default.
• W2039916141 hasRelatedWork W1506942559 @default.
• W2039916141 hasVolume "211" @default.
• W2039916141 isParatext "false" @default.
• W2039916141 isRetracted "false" @default.
• W2039916141 magId "2039916141" @default.

• next