Matches in SemOpenAlex for { <https://semopenalex.org/work/W1987703212> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1987703212 endingPage "232" @default.
- W1987703212 startingPage "213" @default.
- W1987703212 abstract "Stochastic local search (SLS) algorithms have been successfully applied to hard combinatorial problems from different domains. Due to their inherent randomness, the run-time behaviour of these algorithms is characterised by a random variable. The detailed knowledge of the run-time distribution provides important information about the behaviour of SLS algorithms. In this paper we investigate the empirical run-time distributions for WalkSAT, one of the most powerful SLS algorithms for the Propositional Satisfiability Problem (SAT). Using statistical analysis techniques, we show that on hard Random-3-SAT problems, WalkSAT's run-time behaviour can be characterised by exponential distributions. This characterisation can be generalised to various SLS algorithms for SAT and to encoded problems from other domains. This result also has a number of consequences which are of theoretical as well as practical interest. One of these is the fact that these algorithms can be easily parallelised such that optimal speedup is achieved for hard problem instances." @default.
- W1987703212 created "2016-06-24" @default.
- W1987703212 creator A5025342513 @default.
- W1987703212 creator A5074791154 @default.
- W1987703212 date "1999-08-01" @default.
- W1987703212 modified "2023-10-14" @default.
- W1987703212 title "Towards a characterisation of the behaviour of stochastic local search algorithms for SAT" @default.
- W1987703212 cites W13289598 @default.
- W1987703212 cites W137832142 @default.
- W1987703212 cites W139325465 @default.
- W1987703212 cites W1482954786 @default.
- W1987703212 cites W1494865762 @default.
- W1987703212 cites W1600919542 @default.
- W1987703212 cites W1667614912 @default.
- W1987703212 cites W1975005467 @default.
- W1987703212 cites W1997187522 @default.
- W1987703212 cites W202227618 @default.
- W1987703212 cites W2025399946 @default.
- W1987703212 cites W202901394 @default.
- W1987703212 cites W2039557216 @default.
- W1987703212 cites W2064975723 @default.
- W1987703212 cites W2092993939 @default.
- W1987703212 cites W2093320882 @default.
- W1987703212 cites W2103824021 @default.
- W1987703212 cites W2106440199 @default.
- W1987703212 cites W2125697860 @default.
- W1987703212 cites W2126927016 @default.
- W1987703212 cites W2154318861 @default.
- W1987703212 cites W2155218845 @default.
- W1987703212 cites W2165372647 @default.
- W1987703212 cites W2167573750 @default.
- W1987703212 cites W2949173247 @default.
- W1987703212 cites W4983232 @default.
- W1987703212 cites W119819022 @default.
- W1987703212 cites W1922361409 @default.
- W1987703212 cites W204342903 @default.
- W1987703212 cites W2610775458 @default.
- W1987703212 cites W2611145677 @default.
- W1987703212 cites W70056533 @default.
- W1987703212 doi "https://doi.org/10.1016/s0004-3702(99)00048-x" @default.
- W1987703212 hasPublicationYear "1999" @default.
- W1987703212 type Work @default.
- W1987703212 sameAs 1987703212 @default.
- W1987703212 citedByCount "84" @default.
- W1987703212 countsByYear W19877032122012 @default.
- W1987703212 countsByYear W19877032122013 @default.
- W1987703212 countsByYear W19877032122014 @default.
- W1987703212 countsByYear W19877032122015 @default.
- W1987703212 countsByYear W19877032122016 @default.
- W1987703212 countsByYear W19877032122018 @default.
- W1987703212 countsByYear W19877032122020 @default.
- W1987703212 countsByYear W19877032122021 @default.
- W1987703212 countsByYear W19877032122023 @default.
- W1987703212 crossrefType "journal-article" @default.
- W1987703212 hasAuthorship W1987703212A5025342513 @default.
- W1987703212 hasAuthorship W1987703212A5074791154 @default.
- W1987703212 hasConcept C105795698 @default.
- W1987703212 hasConcept C11413529 @default.
- W1987703212 hasConcept C125112378 @default.
- W1987703212 hasConcept C135320971 @default.
- W1987703212 hasConcept C168773769 @default.
- W1987703212 hasConcept C173608175 @default.
- W1987703212 hasConcept C33923547 @default.
- W1987703212 hasConcept C41008148 @default.
- W1987703212 hasConcept C68339613 @default.
- W1987703212 hasConceptScore W1987703212C105795698 @default.
- W1987703212 hasConceptScore W1987703212C11413529 @default.
- W1987703212 hasConceptScore W1987703212C125112378 @default.
- W1987703212 hasConceptScore W1987703212C135320971 @default.
- W1987703212 hasConceptScore W1987703212C168773769 @default.
- W1987703212 hasConceptScore W1987703212C173608175 @default.
- W1987703212 hasConceptScore W1987703212C33923547 @default.
- W1987703212 hasConceptScore W1987703212C41008148 @default.
- W1987703212 hasConceptScore W1987703212C68339613 @default.
- W1987703212 hasIssue "1-2" @default.
- W1987703212 hasLocation W19877032121 @default.
- W1987703212 hasOpenAccess W1987703212 @default.
- W1987703212 hasPrimaryLocation W19877032121 @default.
- W1987703212 hasRelatedWork W1638454426 @default.
- W1987703212 hasRelatedWork W2013643406 @default.
- W1987703212 hasRelatedWork W2027972911 @default.
- W1987703212 hasRelatedWork W2058965144 @default.
- W1987703212 hasRelatedWork W2095071140 @default.
- W1987703212 hasRelatedWork W2146343568 @default.
- W1987703212 hasRelatedWork W2150291671 @default.
- W1987703212 hasRelatedWork W2164382479 @default.
- W1987703212 hasRelatedWork W2952453143 @default.
- W1987703212 hasRelatedWork W98480971 @default.
- W1987703212 hasVolume "112" @default.
- W1987703212 isParatext "false" @default.
- W1987703212 isRetracted "false" @default.
- W1987703212 magId "1987703212" @default.
- W1987703212 workType "article" @default.