FRINK Linked Data Fragments server

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

• W2011292059 endingPage "1614" @default.
• W2011292059 startingPage "1592" @default.
• W2011292059 abstract "Constraint programming is a popular paradigm to deal with combinatorial problems in artificial intelligence. Backtracking algorithms, applied to constraint networks, are commonly used but suffer from thrashing, i.e. the fact of repeatedly exploring similar subtrees during search. An extensive literature has been devoted to prevent thrashing, often classified into look-ahead (constraint propagation and search heuristics) and look-back (intelligent backtracking and learning) approaches. In this paper, we present an original look-ahead approach that allows to guide backtrack search toward sources of conflicts and, as a side effect, to obtain a behavior similar to a backjumping technique. The principle is the following: after each conflict, the last assigned variable is selected in priority, so long as the constraint network cannot be made consistent. This allows us to find, following the current partial instantiation from the leaf to the root of the search tree, the culprit decision that prevents the last variable from being assigned. This way of reasoning can easily be grafted to many variations of backtracking algorithms and represents an original mechanism to reduce thrashing. Moreover, we show that this approach can be generalized so as to collect a (small) set of incompatible variables that are together responsible for the last conflict. Experiments over a wide range of benchmarks demonstrate the effectiveness of this approach in both constraint satisfaction and automated artificial intelligence planning." @default.
• W2011292059 created "2016-06-24" @default.
• W2011292059 creator A5010687768 @default.
• W2011292059 creator A5031561601 @default.
• W2011292059 creator A5037137798 @default.
• W2011292059 creator A5056232610 @default.
• W2011292059 date "2009-12-01" @default.
• W2011292059 modified "2023-09-29" @default.
• W2011292059 title "Reasoning from last conflict(s) in constraint programming" @default.
• W2011292059 cites W1482062249 @default.
• W2011292059 cites W1485366229 @default.
• W2011292059 cites W1558826510 @default.
• W2011292059 cites W1575452963 @default.
• W2011292059 cites W1602008100 @default.
• W2011292059 cites W1802782715 @default.
• W2011292059 cites W186144393 @default.
• W2011292059 cites W1868221333 @default.
• W2011292059 cites W1990734013 @default.
• W2011292059 cites W2043829066 @default.
• W2011292059 cites W2068852367 @default.
• W2011292059 cites W2071639741 @default.
• W2011292059 cites W2071706116 @default.
• W2011292059 cites W2099980081 @default.
• W2011292059 cites W2113654469 @default.
• W2011292059 cites W2115181241 @default.
• W2011292059 cites W2119709400 @default.
• W2011292059 cites W2127861350 @default.
• W2011292059 cites W2134954143 @default.
• W2011292059 cites W2139300273 @default.
• W2011292059 cites W2167036627 @default.
• W2011292059 cites W2227618531 @default.
• W2011292059 cites W2337392266 @default.
• W2011292059 cites W2913258176 @default.
• W2011292059 doi "https://doi.org/10.1016/j.artint.2009.09.002" @default.
• W2011292059 hasPublicationYear "2009" @default.
• W2011292059 type Work @default.
• W2011292059 sameAs 2011292059 @default.
• W2011292059 citedByCount "37" @default.
• W2011292059 countsByYear W20112920592013 @default.
• W2011292059 countsByYear W20112920592014 @default.
• W2011292059 countsByYear W20112920592015 @default.
• W2011292059 countsByYear W20112920592016 @default.
• W2011292059 countsByYear W20112920592017 @default.
• W2011292059 countsByYear W20112920592018 @default.
• W2011292059 countsByYear W20112920592019 @default.
• W2011292059 countsByYear W20112920592020 @default.
• W2011292059 countsByYear W20112920592021 @default.
• W2011292059 countsByYear W20112920592022 @default.
• W2011292059 countsByYear W20112920592023 @default.
• W2011292059 crossrefType "journal-article" @default.
• W2011292059 hasAuthorship W2011292059A5010687768 @default.
• W2011292059 hasAuthorship W2011292059A5031561601 @default.
• W2011292059 hasAuthorship W2011292059A5037137798 @default.
• W2011292059 hasAuthorship W2011292059A5056232610 @default.
• W2011292059 hasBestOaLocation W20112920591 @default.
• W2011292059 hasConcept C111919701 @default.
• W2011292059 hasConcept C11413529 @default.
• W2011292059 hasConcept C125583679 @default.
• W2011292059 hasConcept C126255220 @default.
• W2011292059 hasConcept C127705205 @default.
• W2011292059 hasConcept C137631369 @default.
• W2011292059 hasConcept C147297375 @default.
• W2011292059 hasConcept C154945302 @default.
• W2011292059 hasConcept C156884757 @default.
• W2011292059 hasConcept C173404611 @default.
• W2011292059 hasConcept C176783269 @default.
• W2011292059 hasConcept C199360897 @default.
• W2011292059 hasConcept C207024777 @default.
• W2011292059 hasConcept C2524010 @default.
• W2011292059 hasConcept C2776036281 @default.
• W2011292059 hasConcept C28362024 @default.
• W2011292059 hasConcept C29230964 @default.
• W2011292059 hasConcept C33923547 @default.
• W2011292059 hasConcept C41008148 @default.
• W2011292059 hasConcept C44616089 @default.
• W2011292059 hasConcept C49937458 @default.
• W2011292059 hasConcept C80444323 @default.
• W2011292059 hasConceptScore W2011292059C111919701 @default.
• W2011292059 hasConceptScore W2011292059C11413529 @default.
• W2011292059 hasConceptScore W2011292059C125583679 @default.
• W2011292059 hasConceptScore W2011292059C126255220 @default.
• W2011292059 hasConceptScore W2011292059C127705205 @default.
• W2011292059 hasConceptScore W2011292059C137631369 @default.
• W2011292059 hasConceptScore W2011292059C147297375 @default.
• W2011292059 hasConceptScore W2011292059C154945302 @default.
• W2011292059 hasConceptScore W2011292059C156884757 @default.
• W2011292059 hasConceptScore W2011292059C173404611 @default.
• W2011292059 hasConceptScore W2011292059C176783269 @default.
• W2011292059 hasConceptScore W2011292059C199360897 @default.
• W2011292059 hasConceptScore W2011292059C207024777 @default.
• W2011292059 hasConceptScore W2011292059C2524010 @default.
• W2011292059 hasConceptScore W2011292059C2776036281 @default.
• W2011292059 hasConceptScore W2011292059C28362024 @default.
• W2011292059 hasConceptScore W2011292059C29230964 @default.
• W2011292059 hasConceptScore W2011292059C33923547 @default.
• W2011292059 hasConceptScore W2011292059C41008148 @default.
• W2011292059 hasConceptScore W2011292059C44616089 @default.
• W2011292059 hasConceptScore W2011292059C49937458 @default.

• next