FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W47841356> ?p ?o ?g. }

• W47841356 endingPage "151" @default.
• W47841356 startingPage "145" @default.
• W47841356 abstract "Stochastic local search (SLS) algorithms are well known for their ability to efficiently find models of random instances of the Boolean satisfiablity (SAT) problem. One of the most famous SLS algorithms for SAT is WalkSAT, which is an initial algorithm that has wide influence among modern SLS algorithms. Recently, there has been increasing interest in WalkSAT, due to the discovery of its great power on large random 3-SAT instances. However, the performance of WalkSAT on random k-SAT instances with k > 3 lags far behind. Indeed, there have been few works in improving SLS algorithms for such instances. This work takes a large step towards this direction. We propose a novel concept namely multilevel make. Based on this concept, we design a scoring function called linear make, which is utilized to break ties in WalkSAT, leading to a new algorithm called WalkSATlm. Our experimental results on random 5- SAT and 7-SAT instances show that WalkSATlm improves WalkSAT by orders of magnitudes. Moreover, WalkSATlm significantly outperforms state-of-the-art SLS solvers on random 5-SAT instances, while competes well on random 7-SAT ones. Additionally, WalkSATlm performs very well on random instances from SAT Challenge 2012, indicating its robustness." @default.
• W47841356 created "2016-06-24" @default.
• W47841356 creator A5006894386 @default.
• W47841356 creator A5037325282 @default.
• W47841356 creator A5077138780 @default.
• W47841356 date "2013-07-14" @default.
• W47841356 modified "2023-09-25" @default.
• W47841356 title "Improving walk SAT for random k-satisfiability problem with k > 3" @default.
• W47841356 cites W1499307573 @default.
• W47841356 cites W1506255457 @default.
• W47841356 cites W1533981606 @default.
• W47841356 cites W1562498886 @default.
• W47841356 cites W1574451223 @default.
• W47841356 cites W1591939288 @default.
• W47841356 cites W167199924 @default.
• W47841356 cites W1748968569 @default.
• W47841356 cites W1820801893 @default.
• W47841356 cites W1968198053 @default.
• W47841356 cites W1978526866 @default.
• W47841356 cites W2081431552 @default.
• W47841356 cites W2106440199 @default.
• W47841356 cites W2139955802 @default.
• W47841356 cites W2165372647 @default.
• W47841356 cites W2341163184 @default.
• W47841356 cites W2407214414 @default.
• W47841356 cites W68051822 @default.
• W47841356 hasPublicationYear "2013" @default.
• W47841356 type Work @default.
• W47841356 sameAs 47841356 @default.
• W47841356 citedByCount "6" @default.
• W47841356 countsByYear W478413562014 @default.
• W47841356 countsByYear W478413562016 @default.
• W47841356 countsByYear W478413562019 @default.
• W47841356 countsByYear W478413562020 @default.
• W47841356 crossrefType "proceedings-article" @default.
• W47841356 hasAuthorship W47841356A5006894386 @default.
• W47841356 hasAuthorship W47841356A5037325282 @default.
• W47841356 hasAuthorship W47841356A5077138780 @default.
• W47841356 hasConcept C104317684 @default.
• W47841356 hasConcept C105795698 @default.
• W47841356 hasConcept C111797529 @default.
• W47841356 hasConcept C11413529 @default.
• W47841356 hasConcept C121194460 @default.
• W47841356 hasConcept C126661757 @default.
• W47841356 hasConcept C130402806 @default.
• W47841356 hasConcept C13929819 @default.
• W47841356 hasConcept C168773769 @default.
• W47841356 hasConcept C185592680 @default.
• W47841356 hasConcept C187455244 @default.
• W47841356 hasConcept C201866948 @default.
• W47841356 hasConcept C33923547 @default.
• W47841356 hasConcept C41008148 @default.
• W47841356 hasConcept C55493867 @default.
• W47841356 hasConcept C63479239 @default.
• W47841356 hasConcept C6943359 @default.
• W47841356 hasConcept C80444323 @default.
• W47841356 hasConceptScore W47841356C104317684 @default.
• W47841356 hasConceptScore W47841356C105795698 @default.
• W47841356 hasConceptScore W47841356C111797529 @default.
• W47841356 hasConceptScore W47841356C11413529 @default.
• W47841356 hasConceptScore W47841356C121194460 @default.
• W47841356 hasConceptScore W47841356C126661757 @default.
• W47841356 hasConceptScore W47841356C130402806 @default.
• W47841356 hasConceptScore W47841356C13929819 @default.
• W47841356 hasConceptScore W47841356C168773769 @default.
• W47841356 hasConceptScore W47841356C185592680 @default.
• W47841356 hasConceptScore W47841356C187455244 @default.
• W47841356 hasConceptScore W47841356C201866948 @default.
• W47841356 hasConceptScore W47841356C33923547 @default.
• W47841356 hasConceptScore W47841356C41008148 @default.
• W47841356 hasConceptScore W47841356C55493867 @default.
• W47841356 hasConceptScore W47841356C63479239 @default.
• W47841356 hasConceptScore W47841356C6943359 @default.
• W47841356 hasConceptScore W47841356C80444323 @default.
• W47841356 hasLocation W478413561 @default.
• W47841356 hasOpenAccess W47841356 @default.
• W47841356 hasPrimaryLocation W478413561 @default.
• W47841356 hasRelatedWork W121528679 @default.
• W47841356 hasRelatedWork W1506255457 @default.
• W47841356 hasRelatedWork W1519526968 @default.
• W47841356 hasRelatedWork W1533981606 @default.
• W47841356 hasRelatedWork W1574451223 @default.
• W47841356 hasRelatedWork W1629647960 @default.
• W47841356 hasRelatedWork W167199924 @default.
• W47841356 hasRelatedWork W1845207138 @default.
• W47841356 hasRelatedWork W1913543287 @default.
• W47841356 hasRelatedWork W2057361103 @default.
• W47841356 hasRelatedWork W2062897452 @default.
• W47841356 hasRelatedWork W2065250634 @default.
• W47841356 hasRelatedWork W2097153130 @default.
• W47841356 hasRelatedWork W2616139687 @default.
• W47841356 hasRelatedWork W2621228871 @default.
• W47841356 hasRelatedWork W2784788793 @default.
• W47841356 hasRelatedWork W2982792743 @default.
• W47841356 hasRelatedWork W3018258968 @default.
• W47841356 hasRelatedWork W3165235487 @default.
• W47841356 hasRelatedWork W380892905 @default.
• W47841356 hasVolume "204" @default.

• next