Matches in SemOpenAlex for { <https://semopenalex.org/work/W18766686> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W18766686 endingPage "51" @default.
- W18766686 startingPage "46" @default.
- W18766686 abstract "GSAT is a randomized local search procedure for solving propositional satisfiability problems. GSAT can solve hard, randomly generated problems that are an order of magnitude larger than those that can be handled by more traditional approaches, such as the DavisPutnam procedure. This paper presents the results of numerous experiments we have performed with GSAT in order to improve our understanding of its capabilities and limitations.We first characterize the space traversed by GSAT. We will see that for nearly all problem classes we have encountered, the space consists of a steep descent followed by broad flat plateaus. We then compare GSAT with simulated annealing, and show how GSAT can be viewed as an efficient method for executing the lowtemperature tail of an annealing schedule. Finally, we report on extensions to the basic GSAT procedure. We discuss two general, domain-independent extensions that dramatically improve GSAT's performance on structured problems: the use of clause weights, and a way to average in near-solutions when initializing lhe procedure before each try." @default.
- W18766686 created "2016-06-24" @default.
- W18766686 creator A5007902508 @default.
- W18766686 creator A5084928583 @default.
- W18766686 date "1993-07-11" @default.
- W18766686 modified "2023-09-29" @default.
- W18766686 title "An empirical study of greedy local search for satisfiability testing" @default.
- W18766686 cites W125178576 @default.
- W18766686 cites W126362881 @default.
- W18766686 cites W13289598 @default.
- W18766686 cites W139325465 @default.
- W18766686 cites W1561608403 @default.
- W18766686 cites W1597271110 @default.
- W18766686 cites W1620410031 @default.
- W18766686 cites W1667362966 @default.
- W18766686 cites W1667614912 @default.
- W18766686 cites W1820801893 @default.
- W18766686 cites W2005228957 @default.
- W18766686 cites W2010601719 @default.
- W18766686 cites W2024060531 @default.
- W18766686 cites W2025399946 @default.
- W18766686 cites W2037197578 @default.
- W18766686 cites W2040194491 @default.
- W18766686 cites W2042986967 @default.
- W18766686 cites W2062897452 @default.
- W18766686 cites W2076164963 @default.
- W18766686 cites W2087662271 @default.
- W18766686 cites W2108702302 @default.
- W18766686 cites W2121766240 @default.
- W18766686 cites W2138162238 @default.
- W18766686 cites W2151676833 @default.
- W18766686 cites W2153638045 @default.
- W18766686 cites W2914275007 @default.
- W18766686 cites W4983232 @default.
- W18766686 hasPublicationYear "1993" @default.
- W18766686 type Work @default.
- W18766686 sameAs 18766686 @default.
- W18766686 citedByCount "80" @default.
- W18766686 countsByYear W187666862012 @default.
- W18766686 countsByYear W187666862013 @default.
- W18766686 countsByYear W187666862016 @default.
- W18766686 countsByYear W187666862017 @default.
- W18766686 countsByYear W187666862018 @default.
- W18766686 crossrefType "proceedings-article" @default.
- W18766686 hasAuthorship W18766686A5007902508 @default.
- W18766686 hasAuthorship W18766686A5084928583 @default.
- W18766686 hasConcept C111919701 @default.
- W18766686 hasConcept C11413529 @default.
- W18766686 hasConcept C114466953 @default.
- W18766686 hasConcept C126255220 @default.
- W18766686 hasConcept C126980161 @default.
- W18766686 hasConcept C168773769 @default.
- W18766686 hasConcept C199360897 @default.
- W18766686 hasConcept C33923547 @default.
- W18766686 hasConcept C41008148 @default.
- W18766686 hasConcept C68387754 @default.
- W18766686 hasConceptScore W18766686C111919701 @default.
- W18766686 hasConceptScore W18766686C11413529 @default.
- W18766686 hasConceptScore W18766686C114466953 @default.
- W18766686 hasConceptScore W18766686C126255220 @default.
- W18766686 hasConceptScore W18766686C126980161 @default.
- W18766686 hasConceptScore W18766686C168773769 @default.
- W18766686 hasConceptScore W18766686C199360897 @default.
- W18766686 hasConceptScore W18766686C33923547 @default.
- W18766686 hasConceptScore W18766686C41008148 @default.
- W18766686 hasConceptScore W18766686C68387754 @default.
- W18766686 hasLocation W187666861 @default.
- W18766686 hasOpenAccess W18766686 @default.
- W18766686 hasPrimaryLocation W187666861 @default.
- W18766686 hasRelatedWork W125178576 @default.
- W18766686 hasRelatedWork W13289598 @default.
- W18766686 hasRelatedWork W139325465 @default.
- W18766686 hasRelatedWork W1513769081 @default.
- W18766686 hasRelatedWork W1600919542 @default.
- W18766686 hasRelatedWork W1620410031 @default.
- W18766686 hasRelatedWork W1667614912 @default.
- W18766686 hasRelatedWork W2011039300 @default.
- W18766686 hasRelatedWork W2017127020 @default.
- W18766686 hasRelatedWork W2024060531 @default.
- W18766686 hasRelatedWork W2025399946 @default.
- W18766686 hasRelatedWork W2036265926 @default.
- W18766686 hasRelatedWork W2057361103 @default.
- W18766686 hasRelatedWork W2062897452 @default.
- W18766686 hasRelatedWork W2104670598 @default.
- W18766686 hasRelatedWork W2106440199 @default.
- W18766686 hasRelatedWork W2121766240 @default.
- W18766686 hasRelatedWork W2165372647 @default.
- W18766686 hasRelatedWork W4326551 @default.
- W18766686 hasRelatedWork W4983232 @default.
- W18766686 isParatext "false" @default.
- W18766686 isRetracted "false" @default.
- W18766686 magId "18766686" @default.
- W18766686 workType "article" @default.