Matches in SemOpenAlex for { <https://semopenalex.org/work/W119633386> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W119633386 abstract "In recent years, there has been much research on local search techniques for propositional inference. Some of the most successful procedures combine a form of random walk with a greedy bias. These procedures are quite effective in a number of problem domains, for example, constraint-based planning and scheduling, graph coloring, and hard random problem instances. However, backtrack-style procedures are often more effective in highly structured domains. In this dissertation, we present an approach for analyzing hidden variable dependencies that reduce the effectiveness of random-walk style algorithms. By introducing new constraints that capture these dependencies, we show that adding structural information can lead to an exponential speedup of local search inference methods. We also present empirical evidence showing that structures which lend themselves to this approach are embedded in many real-world inference problems, and that incorporating such constraints can yield significant improvements in our ability to solve practical problem instances. These methods can be extended to probabilistic-reasoning domains. Many forms of probabilistic reasoning, such as Bayesian inference, are computationally equivalent to counting or sampling models of propositional theories. We will show that near-uniform sampling and highly accurate approximate counting can be achieved by combining random-walk strategies with more traditional Monte Carlo Markov Chain (MCMC) methods." @default.
- W119633386 created "2016-06-24" @default.
- W119633386 creator A5003799076 @default.
- W119633386 creator A5084928583 @default.
- W119633386 date "2005-01-01" @default.
- W119633386 modified "2023-09-24" @default.
- W119633386 title "Exploiting random walk strategies in automated reasoning" @default.
- W119633386 hasPublicationYear "2005" @default.
- W119633386 type Work @default.
- W119633386 sameAs 119633386 @default.
- W119633386 citedByCount "0" @default.
- W119633386 crossrefType "journal-article" @default.
- W119633386 hasAuthorship W119633386A5003799076 @default.
- W119633386 hasAuthorship W119633386A5084928583 @default.
- W119633386 hasConcept C105795698 @default.
- W119633386 hasConcept C107673813 @default.
- W119633386 hasConcept C111350023 @default.
- W119633386 hasConcept C11413529 @default.
- W119633386 hasConcept C119857082 @default.
- W119633386 hasConcept C121194460 @default.
- W119633386 hasConcept C154945302 @default.
- W119633386 hasConcept C2776214188 @default.
- W119633386 hasConcept C33923547 @default.
- W119633386 hasConcept C41008148 @default.
- W119633386 hasConcept C49937458 @default.
- W119633386 hasConcept C80444323 @default.
- W119633386 hasConceptScore W119633386C105795698 @default.
- W119633386 hasConceptScore W119633386C107673813 @default.
- W119633386 hasConceptScore W119633386C111350023 @default.
- W119633386 hasConceptScore W119633386C11413529 @default.
- W119633386 hasConceptScore W119633386C119857082 @default.
- W119633386 hasConceptScore W119633386C121194460 @default.
- W119633386 hasConceptScore W119633386C154945302 @default.
- W119633386 hasConceptScore W119633386C2776214188 @default.
- W119633386 hasConceptScore W119633386C33923547 @default.
- W119633386 hasConceptScore W119633386C41008148 @default.
- W119633386 hasConceptScore W119633386C49937458 @default.
- W119633386 hasConceptScore W119633386C80444323 @default.
- W119633386 hasLocation W1196333861 @default.
- W119633386 hasOpenAccess W119633386 @default.
- W119633386 hasPrimaryLocation W1196333861 @default.
- W119633386 hasRelatedWork W1561981064 @default.
- W119633386 hasRelatedWork W2093570057 @default.
- W119633386 hasRelatedWork W2158658733 @default.
- W119633386 hasRelatedWork W2171016142 @default.
- W119633386 hasRelatedWork W2212302534 @default.
- W119633386 hasRelatedWork W222876951 @default.
- W119633386 hasRelatedWork W2278785635 @default.
- W119633386 hasRelatedWork W2558808541 @default.
- W119633386 hasRelatedWork W2900042804 @default.
- W119633386 hasRelatedWork W2951066088 @default.
- W119633386 hasRelatedWork W2952922882 @default.
- W119633386 hasRelatedWork W2969999938 @default.
- W119633386 hasRelatedWork W2981106779 @default.
- W119633386 hasRelatedWork W3007848653 @default.
- W119633386 hasRelatedWork W3014266848 @default.
- W119633386 hasRelatedWork W3098407604 @default.
- W119633386 hasRelatedWork W3174415038 @default.
- W119633386 hasRelatedWork W780350140 @default.
- W119633386 hasRelatedWork W78065819 @default.
- W119633386 hasRelatedWork W92757538 @default.
- W119633386 isParatext "false" @default.
- W119633386 isRetracted "false" @default.
- W119633386 magId "119633386" @default.
- W119633386 workType "article" @default.