Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574451223> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1574451223 endingPage "172" @default.
- W1574451223 startingPage "158" @default.
- W1574451223 abstract "The choice of the variable to flip in the Walksat family procedures is always random in that it is selected from a randomly chosen unsatisfied clause c. This choice in Novelty or R-Novelty heuristics also contains some determinism in that the variable to flip is always limited to the two best variables in c. In this paper, we first propose a diversification parameter for Novelty (or R-Novelty) heuristic to break the determinism in Novelty and show its performance compared with the random walk parameter in Novelty+. Then we exploit promising decreasing paths in a deterministic fashion in local search using a gradient-based approach. In other words, when promising decreasing paths exist, the variable to flip is no longer selected from a randomly chosen unsatisfied clause but in a deterministic fashion to surely decrease the number of unsatisfied clauses. Experimental results show that the proposed diversification and the determinism allow to significantly improve Novelty (and Walksat)." @default.
- W1574451223 created "2016-06-24" @default.
- W1574451223 creator A5016475334 @default.
- W1574451223 creator A5085262547 @default.
- W1574451223 date "2005-01-01" @default.
- W1574451223 modified "2023-10-14" @default.
- W1574451223 title "Diversification and Determinism in Local Search for Satisfiability" @default.
- W1574451223 cites W1521053613 @default.
- W1574451223 cites W1546338010 @default.
- W1574451223 cites W1984853564 @default.
- W1574451223 cites W2026355757 @default.
- W1574451223 cites W2036265926 @default.
- W1574451223 doi "https://doi.org/10.1007/11499107_12" @default.
- W1574451223 hasPublicationYear "2005" @default.
- W1574451223 type Work @default.
- W1574451223 sameAs 1574451223 @default.
- W1574451223 citedByCount "97" @default.
- W1574451223 countsByYear W15744512232012 @default.
- W1574451223 countsByYear W15744512232013 @default.
- W1574451223 countsByYear W15744512232014 @default.
- W1574451223 countsByYear W15744512232015 @default.
- W1574451223 countsByYear W15744512232016 @default.
- W1574451223 countsByYear W15744512232017 @default.
- W1574451223 countsByYear W15744512232018 @default.
- W1574451223 countsByYear W15744512232019 @default.
- W1574451223 countsByYear W15744512232020 @default.
- W1574451223 countsByYear W15744512232021 @default.
- W1574451223 countsByYear W15744512232022 @default.
- W1574451223 crossrefType "book-chapter" @default.
- W1574451223 hasAuthorship W1574451223A5016475334 @default.
- W1574451223 hasAuthorship W1574451223A5085262547 @default.
- W1574451223 hasBestOaLocation W15744512232 @default.
- W1574451223 hasConcept C111919701 @default.
- W1574451223 hasConcept C11413529 @default.
- W1574451223 hasConcept C121332964 @default.
- W1574451223 hasConcept C127705205 @default.
- W1574451223 hasConcept C134306372 @default.
- W1574451223 hasConcept C138885662 @default.
- W1574451223 hasConcept C144133560 @default.
- W1574451223 hasConcept C154945302 @default.
- W1574451223 hasConcept C162853370 @default.
- W1574451223 hasConcept C168773769 @default.
- W1574451223 hasConcept C173801870 @default.
- W1574451223 hasConcept C180916674 @default.
- W1574451223 hasConcept C182365436 @default.
- W1574451223 hasConcept C192183473 @default.
- W1574451223 hasConcept C27206212 @default.
- W1574451223 hasConcept C2778738651 @default.
- W1574451223 hasConcept C33923547 @default.
- W1574451223 hasConcept C41008148 @default.
- W1574451223 hasConcept C62520636 @default.
- W1574451223 hasConcept C80444323 @default.
- W1574451223 hasConceptScore W1574451223C111919701 @default.
- W1574451223 hasConceptScore W1574451223C11413529 @default.
- W1574451223 hasConceptScore W1574451223C121332964 @default.
- W1574451223 hasConceptScore W1574451223C127705205 @default.
- W1574451223 hasConceptScore W1574451223C134306372 @default.
- W1574451223 hasConceptScore W1574451223C138885662 @default.
- W1574451223 hasConceptScore W1574451223C144133560 @default.
- W1574451223 hasConceptScore W1574451223C154945302 @default.
- W1574451223 hasConceptScore W1574451223C162853370 @default.
- W1574451223 hasConceptScore W1574451223C168773769 @default.
- W1574451223 hasConceptScore W1574451223C173801870 @default.
- W1574451223 hasConceptScore W1574451223C180916674 @default.
- W1574451223 hasConceptScore W1574451223C182365436 @default.
- W1574451223 hasConceptScore W1574451223C192183473 @default.
- W1574451223 hasConceptScore W1574451223C27206212 @default.
- W1574451223 hasConceptScore W1574451223C2778738651 @default.
- W1574451223 hasConceptScore W1574451223C33923547 @default.
- W1574451223 hasConceptScore W1574451223C41008148 @default.
- W1574451223 hasConceptScore W1574451223C62520636 @default.
- W1574451223 hasConceptScore W1574451223C80444323 @default.
- W1574451223 hasLocation W15744512231 @default.
- W1574451223 hasLocation W15744512232 @default.
- W1574451223 hasOpenAccess W1574451223 @default.
- W1574451223 hasPrimaryLocation W15744512231 @default.
- W1574451223 hasRelatedWork W2065552215 @default.
- W1574451223 hasRelatedWork W2080951048 @default.
- W1574451223 hasRelatedWork W2347541121 @default.
- W1574451223 hasRelatedWork W2369082698 @default.
- W1574451223 hasRelatedWork W2381242807 @default.
- W1574451223 hasRelatedWork W2390346111 @default.
- W1574451223 hasRelatedWork W2401808953 @default.
- W1574451223 hasRelatedWork W2751208925 @default.
- W1574451223 hasRelatedWork W3032237421 @default.
- W1574451223 hasRelatedWork W4288804799 @default.
- W1574451223 isParatext "false" @default.
- W1574451223 isRetracted "false" @default.
- W1574451223 magId "1574451223" @default.
- W1574451223 workType "book-chapter" @default.