Matches in SemOpenAlex for { <https://semopenalex.org/work/W2529536311> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2529536311 abstract "Many real-world problems involving constraints can be regarded as instances of the Max-SAT problem, which is the optimization variant of the classic satisfiability problem. In this paper, we propose a novel probabilistic approach for Max-SAT called ProMS. Our algorithm relies on a stochastic local search strategy using a novel probability distribution function with two strategies for picking variables, one based on available information and another purely random one. Moreover, while most previous algorithms based on WalkSAT choose unsatisfied clauses randomly, we introduce a novel clause selection strategy to improve our algorithm. Experimental results illustrate that ProMS outperforms many state-of-the-art stochastic local search solvers on hard unweighted random Max-SAT benchmarks." @default.
- W2529536311 created "2016-10-14" @default.
- W2529536311 creator A5016706689 @default.
- W2529536311 creator A5056634573 @default.
- W2529536311 creator A5085818578 @default.
- W2529536311 date "2016-10-03" @default.
- W2529536311 modified "2023-09-27" @default.
- W2529536311 title "A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas." @default.
- W2529536311 cites W1546338010 @default.
- W2529536311 cites W1559492868 @default.
- W2529536311 cites W1667614912 @default.
- W2529536311 cites W167199924 @default.
- W2529536311 cites W1833106254 @default.
- W2529536311 cites W1967070345 @default.
- W2529536311 cites W1995725694 @default.
- W2529536311 cites W1999032440 @default.
- W2529536311 cites W2004764712 @default.
- W2529536311 cites W2024113144 @default.
- W2529536311 cites W2084732238 @default.
- W2529536311 cites W2097957670 @default.
- W2529536311 cites W2099111195 @default.
- W2529536311 cites W2106440199 @default.
- W2529536311 cites W2121663614 @default.
- W2529536311 cites W2126442135 @default.
- W2529536311 cites W2146667376 @default.
- W2529536311 cites W2165372647 @default.
- W2529536311 cites W2191626561 @default.
- W2529536311 cites W2564833521 @default.
- W2529536311 cites W2951456999 @default.
- W2529536311 cites W3098498116 @default.
- W2529536311 cites W51584572 @default.
- W2529536311 cites W723740 @default.
- W2529536311 hasPublicationYear "2016" @default.
- W2529536311 type Work @default.
- W2529536311 sameAs 2529536311 @default.
- W2529536311 citedByCount "0" @default.
- W2529536311 crossrefType "posted-content" @default.
- W2529536311 hasAuthorship W2529536311A5016706689 @default.
- W2529536311 hasAuthorship W2529536311A5056634573 @default.
- W2529536311 hasAuthorship W2529536311A5085818578 @default.
- W2529536311 hasConcept C105795698 @default.
- W2529536311 hasConcept C11413529 @default.
- W2529536311 hasConcept C126255220 @default.
- W2529536311 hasConcept C135320971 @default.
- W2529536311 hasConcept C149441793 @default.
- W2529536311 hasConcept C154945302 @default.
- W2529536311 hasConcept C168773769 @default.
- W2529536311 hasConcept C33923547 @default.
- W2529536311 hasConcept C41008148 @default.
- W2529536311 hasConcept C49937458 @default.
- W2529536311 hasConcept C6943359 @default.
- W2529536311 hasConcept C81917197 @default.
- W2529536311 hasConceptScore W2529536311C105795698 @default.
- W2529536311 hasConceptScore W2529536311C11413529 @default.
- W2529536311 hasConceptScore W2529536311C126255220 @default.
- W2529536311 hasConceptScore W2529536311C135320971 @default.
- W2529536311 hasConceptScore W2529536311C149441793 @default.
- W2529536311 hasConceptScore W2529536311C154945302 @default.
- W2529536311 hasConceptScore W2529536311C168773769 @default.
- W2529536311 hasConceptScore W2529536311C33923547 @default.
- W2529536311 hasConceptScore W2529536311C41008148 @default.
- W2529536311 hasConceptScore W2529536311C49937458 @default.
- W2529536311 hasConceptScore W2529536311C6943359 @default.
- W2529536311 hasConceptScore W2529536311C81917197 @default.
- W2529536311 hasLocation W25295363111 @default.
- W2529536311 hasOpenAccess W2529536311 @default.
- W2529536311 hasPrimaryLocation W25295363111 @default.
- W2529536311 hasRelatedWork W1524741427 @default.
- W2529536311 hasRelatedWork W1629647960 @default.
- W2529536311 hasRelatedWork W2077827857 @default.
- W2529536311 hasRelatedWork W2094716844 @default.
- W2529536311 hasRelatedWork W2097153130 @default.
- W2529536311 hasRelatedWork W2140138589 @default.
- W2529536311 hasRelatedWork W2141811956 @default.
- W2529536311 hasRelatedWork W2168192936 @default.
- W2529536311 hasRelatedWork W2171802366 @default.
- W2529536311 hasRelatedWork W2182702718 @default.
- W2529536311 hasRelatedWork W2293517224 @default.
- W2529536311 hasRelatedWork W2615919345 @default.
- W2529536311 hasRelatedWork W2784788793 @default.
- W2529536311 hasRelatedWork W2789351846 @default.
- W2529536311 hasRelatedWork W2949426282 @default.
- W2529536311 hasRelatedWork W2982792743 @default.
- W2529536311 hasRelatedWork W3018258968 @default.
- W2529536311 hasRelatedWork W3047478894 @default.
- W2529536311 hasRelatedWork W3127941413 @default.
- W2529536311 hasRelatedWork W3164253659 @default.
- W2529536311 isParatext "false" @default.
- W2529536311 isRetracted "false" @default.
- W2529536311 magId "2529536311" @default.
- W2529536311 workType "article" @default.