Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165337320> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2165337320 endingPage "172" @default.
- W2165337320 startingPage "149" @default.
- W2165337320 abstract "In this paper we describe a stochastic local search (SLS) procedure for flnding models of satisflable propositional formulae. This new algorithm, gNovelty + , draws on the features of two other WalkSAT family algorithms: AdaptNovelty + and G 2 WSAT, while also successfully employing a hybrid clause weighting heuristic based on the features of two dynamic local search (DLS) algorithms: PAWS and (R)SAPS. gNovelty + was a Gold Medal winner in the random category of the 2007 SAT competition. In this paper we present a detailed description of the algorithm and extend the SAT competition results via an empirical study of the efiects of problem structure, parameter tuning and resolution preprocessors on the performance of gNovelty + . The study compares gNovelty + with three of the most representative WalkSAT-based solvers: AdaptG 2 WSAT0, G 2 WSAT and AdaptNovelty + ; and two of the most representative DLS solvers: RSAPS and PAWS. Our new results augment the SAT competition results and show that gNovelty + is also highly competitive in the domain of solving structured satisflability problems in comparison with other SLS techniques." @default.
- W2165337320 created "2016-06-24" @default.
- W2165337320 creator A5030838803 @default.
- W2165337320 creator A5033848427 @default.
- W2165337320 creator A5038675407 @default.
- W2165337320 creator A5045224660 @default.
- W2165337320 date "2008-05-01" @default.
- W2165337320 modified "2023-10-16" @default.
- W2165337320 title "Combining Adaptive and Dynamic Local Search for Satisfiability" @default.
- W2165337320 cites W13289598 @default.
- W2165337320 cites W1494865762 @default.
- W2165337320 cites W1496083386 @default.
- W2165337320 cites W1519526968 @default.
- W2165337320 cites W1574451223 @default.
- W2165337320 cites W1589464585 @default.
- W2165337320 cites W1591802374 @default.
- W2165337320 cites W1591939288 @default.
- W2165337320 cites W1667614912 @default.
- W2165337320 cites W171867237 @default.
- W2165337320 cites W1950282396 @default.
- W2165337320 cites W1978526866 @default.
- W2165337320 cites W2027789671 @default.
- W2165337320 cites W2057361103 @default.
- W2165337320 cites W2062897452 @default.
- W2165337320 cites W2104670598 @default.
- W2165337320 cites W2106440199 @default.
- W2165337320 cites W2141037672 @default.
- W2165337320 cites W2225800216 @default.
- W2165337320 cites W2782833166 @default.
- W2165337320 cites W2611224254 @default.
- W2165337320 doi "https://doi.org/10.3233/sat190042" @default.
- W2165337320 hasPublicationYear "2008" @default.
- W2165337320 type Work @default.
- W2165337320 sameAs 2165337320 @default.
- W2165337320 citedByCount "18" @default.
- W2165337320 countsByYear W21653373202012 @default.
- W2165337320 countsByYear W21653373202013 @default.
- W2165337320 countsByYear W21653373202014 @default.
- W2165337320 countsByYear W21653373202016 @default.
- W2165337320 countsByYear W21653373202021 @default.
- W2165337320 countsByYear W21653373202022 @default.
- W2165337320 crossrefType "journal-article" @default.
- W2165337320 hasAuthorship W2165337320A5030838803 @default.
- W2165337320 hasAuthorship W2165337320A5033848427 @default.
- W2165337320 hasAuthorship W2165337320A5038675407 @default.
- W2165337320 hasAuthorship W2165337320A5045224660 @default.
- W2165337320 hasBestOaLocation W21653373201 @default.
- W2165337320 hasConcept C11413529 @default.
- W2165337320 hasConcept C168773769 @default.
- W2165337320 hasConcept C41008148 @default.
- W2165337320 hasConceptScore W2165337320C11413529 @default.
- W2165337320 hasConceptScore W2165337320C168773769 @default.
- W2165337320 hasConceptScore W2165337320C41008148 @default.
- W2165337320 hasIssue "2-4" @default.
- W2165337320 hasLocation W21653373201 @default.
- W2165337320 hasOpenAccess W2165337320 @default.
- W2165337320 hasPrimaryLocation W21653373201 @default.
- W2165337320 hasRelatedWork W2051487156 @default.
- W2165337320 hasRelatedWork W2073681303 @default.
- W2165337320 hasRelatedWork W2317200988 @default.
- W2165337320 hasRelatedWork W2350741829 @default.
- W2165337320 hasRelatedWork W2358668433 @default.
- W2165337320 hasRelatedWork W2376932109 @default.
- W2165337320 hasRelatedWork W2382290278 @default.
- W2165337320 hasRelatedWork W2390279801 @default.
- W2165337320 hasRelatedWork W2748952813 @default.
- W2165337320 hasRelatedWork W2899084033 @default.
- W2165337320 hasVolume "4" @default.
- W2165337320 isParatext "false" @default.
- W2165337320 isRetracted "false" @default.
- W2165337320 magId "2165337320" @default.
- W2165337320 workType "article" @default.