Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018468045> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2018468045 abstract "The last two decades progresses have led Propositional Satisfiability (SAT) to be a competitive practical approach to solve a wide range of industrial and academic problems. Thanks to these advances, the size and difficulty of the SAT instances have grown significantly. The demand for more computational power led to the creation of new computer architectures and paradigms composed by multiple machines connected by a network to act as one machine, like clusters and grids. However, extra computing power is not coming anymore from higher processor frequencies, but rather from a growing number of computing cores and processors. It becomes clear that exploiting this new architecture is essential for the evolution of SAT solvers. Search space splitting is probably the most commonly used strategy to explore the parallelism provided by the search space. However, it is not clear how to find the relevant set of variables to divide the search space. This paper extends a method based on the VSIDS heuristic to find the initial set of partition variables. A drawback of search space splitting is load balancing. To overcome this problem, we propose the use of a hybrid approach between search space splitting and portfolio. Preliminary results show that both these techniques improve the performance of the solver and reveal that combining search space splitting and portfolio approaches can lead to better results." @default.
- W2018468045 created "2016-06-24" @default.
- W2018468045 creator A5033377932 @default.
- W2018468045 creator A5058622165 @default.
- W2018468045 creator A5087247518 @default.
- W2018468045 date "2010-10-01" @default.
- W2018468045 modified "2023-09-23" @default.
- W2018468045 title "Improving Search Space Splitting for Parallel SAT Solving" @default.
- W2018468045 cites W146171703 @default.
- W2018468045 cites W1530052040 @default.
- W2018468045 cites W1566044003 @default.
- W2018468045 cites W1608123432 @default.
- W2018468045 cites W1981726327 @default.
- W2018468045 cites W1998417879 @default.
- W2018468045 cites W2039027656 @default.
- W2018468045 cites W2044560939 @default.
- W2018468045 cites W2046612382 @default.
- W2018468045 cites W2061156579 @default.
- W2018468045 cites W2062897452 @default.
- W2018468045 cites W2076373700 @default.
- W2018468045 cites W2092775861 @default.
- W2018468045 cites W2094855848 @default.
- W2018468045 cites W2103406309 @default.
- W2018468045 cites W2123098314 @default.
- W2018468045 cites W2130403783 @default.
- W2018468045 cites W2156376751 @default.
- W2018468045 cites W30559923 @default.
- W2018468045 doi "https://doi.org/10.1109/ictai.2010.56" @default.
- W2018468045 hasPublicationYear "2010" @default.
- W2018468045 type Work @default.
- W2018468045 sameAs 2018468045 @default.
- W2018468045 citedByCount "22" @default.
- W2018468045 countsByYear W20184680452012 @default.
- W2018468045 countsByYear W20184680452013 @default.
- W2018468045 countsByYear W20184680452014 @default.
- W2018468045 countsByYear W20184680452015 @default.
- W2018468045 countsByYear W20184680452016 @default.
- W2018468045 countsByYear W20184680452017 @default.
- W2018468045 countsByYear W20184680452019 @default.
- W2018468045 countsByYear W20184680452020 @default.
- W2018468045 countsByYear W20184680452021 @default.
- W2018468045 countsByYear W20184680452022 @default.
- W2018468045 crossrefType "proceedings-article" @default.
- W2018468045 hasAuthorship W2018468045A5033377932 @default.
- W2018468045 hasAuthorship W2018468045A5058622165 @default.
- W2018468045 hasAuthorship W2018468045A5087247518 @default.
- W2018468045 hasBestOaLocation W20184680452 @default.
- W2018468045 hasConcept C111919701 @default.
- W2018468045 hasConcept C173608175 @default.
- W2018468045 hasConcept C2778572836 @default.
- W2018468045 hasConcept C41008148 @default.
- W2018468045 hasConcept C80444323 @default.
- W2018468045 hasConceptScore W2018468045C111919701 @default.
- W2018468045 hasConceptScore W2018468045C173608175 @default.
- W2018468045 hasConceptScore W2018468045C2778572836 @default.
- W2018468045 hasConceptScore W2018468045C41008148 @default.
- W2018468045 hasConceptScore W2018468045C80444323 @default.
- W2018468045 hasLocation W20184680451 @default.
- W2018468045 hasLocation W20184680452 @default.
- W2018468045 hasOpenAccess W2018468045 @default.
- W2018468045 hasPrimaryLocation W20184680451 @default.
- W2018468045 hasRelatedWork W1491899005 @default.
- W2018468045 hasRelatedWork W1502414128 @default.
- W2018468045 hasRelatedWork W1558545464 @default.
- W2018468045 hasRelatedWork W1604898313 @default.
- W2018468045 hasRelatedWork W1984303163 @default.
- W2018468045 hasRelatedWork W2074301136 @default.
- W2018468045 hasRelatedWork W2117014006 @default.
- W2018468045 hasRelatedWork W2172791042 @default.
- W2018468045 hasRelatedWork W2372170743 @default.
- W2018468045 hasRelatedWork W4233815414 @default.
- W2018468045 isParatext "false" @default.
- W2018468045 isRetracted "false" @default.
- W2018468045 magId "2018468045" @default.
- W2018468045 workType "article" @default.