Ładuje się......
Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions
In this paper we propose an approach for constructing partitionings of hard variants of the Boolean satisfiability problem (SAT). Such partitionings can be used for solving corresponding SAT instances in parallel. For the same SAT instance one can construct different partitionings, each of them is a...
Zapisane w:
| Wydane w: | Springerplus |
|---|---|
| Główni autorzy: | , |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Springer International Publishing
2016
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC4851680/ https://ncbi.nlm.nih.gov/pubmed/27190753 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1186/s40064-016-2187-4 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|