Matches in SemOpenAlex for { <https://semopenalex.org/work/W2772008579> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2772008579 endingPage "111" @default.
- W2772008579 startingPage "103" @default.
- W2772008579 abstract "Abstract In this study, a new parallel algorithm for solving Boolean satisfiability problem (SAT) is suggested. This algorithm is based on the Conflict Driven Clause Learning (CDCL) algorithm. Given an original SAT instance, CDCL is launched on it. Some types of conflict clauses, which are produced by CDCL, are collected. Then the collected clauses are employed to construct a family of different SAT instances. In particular, each SAT instance from a family is produced by adding some subset of the collected conflict clauses to an initial set of clauses (which belong to the original instance). In order to solve the original SAT instance, it is sufficient to solve at least one SAT instance from the constructed family. The proposed algorithm was implemented in the form of a parallel SAT solver. It was compared with two high ranked state-of-the-art parallel solvers. As a test set, we used SAT instances which encode cryptanalysis of three keystream generators: summation generator, threshold generator, and Gifford generator. According to computational experiments, our solver outperforms those two solvers." @default.
- W2772008579 created "2017-12-22" @default.
- W2772008579 creator A5009176581 @default.
- W2772008579 date "2017-01-01" @default.
- W2772008579 modified "2023-10-16" @default.
- W2772008579 title "A parallel SAT solving algorithm based on improved handling of conflict clauses" @default.
- W2772008579 cites W1518705996 @default.
- W2772008579 cites W1546392762 @default.
- W2772008579 cites W1583771634 @default.
- W2772008579 cites W172560767 @default.
- W2772008579 cites W191575697 @default.
- W2772008579 cites W2035670646 @default.
- W2772008579 cites W2036265926 @default.
- W2772008579 cites W2129356628 @default.
- W2772008579 cites W2131719221 @default.
- W2772008579 cites W2606328397 @default.
- W2772008579 cites W866331153 @default.
- W2772008579 doi "https://doi.org/10.1016/j.procs.2017.11.166" @default.
- W2772008579 hasPublicationYear "2017" @default.
- W2772008579 type Work @default.
- W2772008579 sameAs 2772008579 @default.
- W2772008579 citedByCount "1" @default.
- W2772008579 countsByYear W27720085792019 @default.
- W2772008579 crossrefType "journal-article" @default.
- W2772008579 hasAuthorship W2772008579A5009176581 @default.
- W2772008579 hasBestOaLocation W27720085791 @default.
- W2772008579 hasConcept C11413529 @default.
- W2772008579 hasConcept C121332964 @default.
- W2772008579 hasConcept C16221470 @default.
- W2772008579 hasConcept C163258240 @default.
- W2772008579 hasConcept C168773769 @default.
- W2772008579 hasConcept C177264268 @default.
- W2772008579 hasConcept C178489894 @default.
- W2772008579 hasConcept C181149355 @default.
- W2772008579 hasConcept C199360897 @default.
- W2772008579 hasConcept C2776132008 @default.
- W2772008579 hasConcept C2778770139 @default.
- W2772008579 hasConcept C2780992000 @default.
- W2772008579 hasConcept C41008148 @default.
- W2772008579 hasConcept C62520636 @default.
- W2772008579 hasConcept C6943359 @default.
- W2772008579 hasConcept C80444323 @default.
- W2772008579 hasConceptScore W2772008579C11413529 @default.
- W2772008579 hasConceptScore W2772008579C121332964 @default.
- W2772008579 hasConceptScore W2772008579C16221470 @default.
- W2772008579 hasConceptScore W2772008579C163258240 @default.
- W2772008579 hasConceptScore W2772008579C168773769 @default.
- W2772008579 hasConceptScore W2772008579C177264268 @default.
- W2772008579 hasConceptScore W2772008579C178489894 @default.
- W2772008579 hasConceptScore W2772008579C181149355 @default.
- W2772008579 hasConceptScore W2772008579C199360897 @default.
- W2772008579 hasConceptScore W2772008579C2776132008 @default.
- W2772008579 hasConceptScore W2772008579C2778770139 @default.
- W2772008579 hasConceptScore W2772008579C2780992000 @default.
- W2772008579 hasConceptScore W2772008579C41008148 @default.
- W2772008579 hasConceptScore W2772008579C62520636 @default.
- W2772008579 hasConceptScore W2772008579C6943359 @default.
- W2772008579 hasConceptScore W2772008579C80444323 @default.
- W2772008579 hasLocation W27720085791 @default.
- W2772008579 hasOpenAccess W2772008579 @default.
- W2772008579 hasPrimaryLocation W27720085791 @default.
- W2772008579 hasRelatedWork W143701725 @default.
- W2772008579 hasRelatedWork W1513230022 @default.
- W2772008579 hasRelatedWork W2036901448 @default.
- W2772008579 hasRelatedWork W2091617677 @default.
- W2772008579 hasRelatedWork W2408080066 @default.
- W2772008579 hasRelatedWork W2480084299 @default.
- W2772008579 hasRelatedWork W2546986443 @default.
- W2772008579 hasRelatedWork W2772008579 @default.
- W2772008579 hasRelatedWork W2883329459 @default.
- W2772008579 hasRelatedWork W3197571367 @default.
- W2772008579 hasVolume "119" @default.
- W2772008579 isParatext "false" @default.
- W2772008579 isRetracted "false" @default.
- W2772008579 magId "2772008579" @default.
- W2772008579 workType "article" @default.