Matches in SemOpenAlex for { <https://semopenalex.org/work/W126510619> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W126510619 endingPage "167" @default.
- W126510619 startingPage "147" @default.
- W126510619 abstract "In this paper, nogood recording is investigated for CSP within the randomization and restart framework. Our goal is to avoid the same situations to occur from one run to the next ones. More precisely, nogoods are recorded when the current cutoff value is reached, i.e. before restarting the search algorithm. Such a set of nogoods is extracted from the last branch of the current search tree and exploited using the structure of watched literals originally proposed for SAT. We prove that the worst-case time complexity of extracting such nogoods at the end of each run is only O(n^2 d) where n is the number of variables of the constraint network and d the size of the greatest domain, whereas for any node of the search tree, the worst-case time complexity of exploiting these nogoods to enforce Generalized Arc Consistency (GAC) is O(n|B|) where |B| denotes the number of recorded nogoods. As the number of nogoods recorded before each new run is bounded by the length of the last branch, the total number of recorded nogoods is polynomial in the number of restarts. Interestingly, we show that when the minimization of the nogoods is envisioned with respect to an inference operator φ, it is possible to directly identify some nogoods that cannot be minimized. For φ = AC (i.e. for MAC), the worst-case time complexity of extracting minimal nogoods is slightly increased to O(en2 d3 ) where e is the number of constraints of the network. Experimentation over a wide range of CSP instances using a generic state-of-the-art CSP solver demonstrates the effectiveness of this approach. Recording nogoods (and in particular, minimal nogoods) from restarts significantly improves the robustness of the solver." @default.
- W126510619 created "2016-06-24" @default.
- W126510619 creator A5010687768 @default.
- W126510619 creator A5031561601 @default.
- W126510619 creator A5037137798 @default.
- W126510619 creator A5056232610 @default.
- W126510619 date "2007-05-01" @default.
- W126510619 modified "2023-09-23" @default.
- W126510619 title "Recording and Minimizing Nogoods from Restarts" @default.
- W126510619 cites W128647713 @default.
- W126510619 cites W137179583 @default.
- W126510619 cites W144136056 @default.
- W126510619 cites W1482062249 @default.
- W126510619 cites W1510222959 @default.
- W126510619 cites W1518705996 @default.
- W126510619 cites W1551913526 @default.
- W126510619 cites W1583185913 @default.
- W126510619 cites W1592494818 @default.
- W126510619 cites W1602008100 @default.
- W126510619 cites W1763513967 @default.
- W126510619 cites W1819966380 @default.
- W126510619 cites W186144393 @default.
- W126510619 cites W1868221333 @default.
- W126510619 cites W1923495615 @default.
- W126510619 cites W2002783815 @default.
- W126510619 cites W2022739485 @default.
- W126510619 cites W2043829066 @default.
- W126510619 cites W2068886975 @default.
- W126510619 cites W2095709533 @default.
- W126510619 cites W2099980081 @default.
- W126510619 cites W2108637261 @default.
- W126510619 cites W2119815134 @default.
- W126510619 cites W2125336041 @default.
- W126510619 cites W2127861350 @default.
- W126510619 cites W2129559692 @default.
- W126510619 cites W2134954143 @default.
- W126510619 cites W2142785340 @default.
- W126510619 cites W2151720296 @default.
- W126510619 cites W2167036627 @default.
- W126510619 cites W2227618531 @default.
- W126510619 cites W2337098149 @default.
- W126510619 cites W2604423233 @default.
- W126510619 cites W2913258176 @default.
- W126510619 cites W2953735483 @default.
- W126510619 cites W1915048319 @default.
- W126510619 doi "https://doi.org/10.3233/sat190009" @default.
- W126510619 hasPublicationYear "2007" @default.
- W126510619 type Work @default.
- W126510619 sameAs 126510619 @default.
- W126510619 citedByCount "30" @default.
- W126510619 countsByYear W1265106192012 @default.
- W126510619 countsByYear W1265106192013 @default.
- W126510619 countsByYear W1265106192014 @default.
- W126510619 countsByYear W1265106192015 @default.
- W126510619 countsByYear W1265106192016 @default.
- W126510619 countsByYear W1265106192017 @default.
- W126510619 countsByYear W1265106192018 @default.
- W126510619 countsByYear W1265106192019 @default.
- W126510619 countsByYear W1265106192020 @default.
- W126510619 countsByYear W1265106192022 @default.
- W126510619 crossrefType "journal-article" @default.
- W126510619 hasAuthorship W126510619A5010687768 @default.
- W126510619 hasAuthorship W126510619A5031561601 @default.
- W126510619 hasAuthorship W126510619A5037137798 @default.
- W126510619 hasAuthorship W126510619A5056232610 @default.
- W126510619 hasBestOaLocation W1265106191 @default.
- W126510619 hasConcept C41008148 @default.
- W126510619 hasConceptScore W126510619C41008148 @default.
- W126510619 hasIssue "3-4" @default.
- W126510619 hasLocation W1265106191 @default.
- W126510619 hasLocation W1265106192 @default.
- W126510619 hasOpenAccess W126510619 @default.
- W126510619 hasPrimaryLocation W1265106191 @default.
- W126510619 hasRelatedWork W1596801655 @default.
- W126510619 hasRelatedWork W2130043461 @default.
- W126510619 hasRelatedWork W2350741829 @default.
- W126510619 hasRelatedWork W2358668433 @default.
- W126510619 hasRelatedWork W2376932109 @default.
- W126510619 hasRelatedWork W2382290278 @default.
- W126510619 hasRelatedWork W2390279801 @default.
- W126510619 hasRelatedWork W2748952813 @default.
- W126510619 hasRelatedWork W2899084033 @default.
- W126510619 hasRelatedWork W2530322880 @default.
- W126510619 hasVolume "1" @default.
- W126510619 isParatext "false" @default.
- W126510619 isRetracted "false" @default.
- W126510619 magId "126510619" @default.
- W126510619 workType "article" @default.