Matches in SemOpenAlex for { <https://semopenalex.org/work/W67346912> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W67346912 abstract "When cryptographical problems are treated in SAT solvers, they often contain large set of XOR constraints. Treating these XOR constraints through on-the-fly Gaussian elimination during solving has been shown to be a viable approach by Soos et al. [1]. We describe various enhancements to this scheme which increase the performance and mostly eliminate the need for manual tuning of parameters. With these enhancements, we were able achieve speedups of up to 29% on the Bivium and up to 45% on the Trivium ciphers, contrary to the 1-5% speedup achieved by the original scheme. [1] Soos, M., Nohl, K., Castelluccia, C.: Extending SAT solvers to cryptographic problems. In Kullmann, O., ed.: Theory and Applications of Satisfiability Testing — SAT 2009. Volume 5584 of Lecture Notes in Computer Science., Springer (2009) 244–257" @default.
- W67346912 created "2016-06-24" @default.
- W67346912 creator A5082117899 @default.
- W67346912 date "2018-01-23" @default.
- W67346912 modified "2023-09-27" @default.
- W67346912 title "Enhanced Gaussian Elimination in DPLL-based SAT Solvers" @default.
- W67346912 cites W1518705996 @default.
- W67346912 cites W1605798759 @default.
- W67346912 cites W1665144961 @default.
- W67346912 cites W1950282396 @default.
- W67346912 cites W1979328057 @default.
- W67346912 cites W2007259720 @default.
- W67346912 cites W2038690430 @default.
- W67346912 cites W2142785340 @default.
- W67346912 cites W2615409614 @default.
- W67346912 cites W2951210563 @default.
- W67346912 cites W30950413 @default.
- W67346912 cites W61552399 @default.
- W67346912 doi "https://doi.org/10.29007/g7ss" @default.
- W67346912 hasPublicationYear "2018" @default.
- W67346912 type Work @default.
- W67346912 sameAs 67346912 @default.
- W67346912 citedByCount "16" @default.
- W67346912 countsByYear W673469122012 @default.
- W67346912 countsByYear W673469122013 @default.
- W67346912 countsByYear W673469122014 @default.
- W67346912 countsByYear W673469122016 @default.
- W67346912 countsByYear W673469122017 @default.
- W67346912 countsByYear W673469122018 @default.
- W67346912 countsByYear W673469122019 @default.
- W67346912 countsByYear W673469122020 @default.
- W67346912 crossrefType "proceedings-article" @default.
- W67346912 hasAuthorship W67346912A5082117899 @default.
- W67346912 hasBestOaLocation W673469121 @default.
- W67346912 hasConcept C11413529 @default.
- W67346912 hasConcept C121332964 @default.
- W67346912 hasConcept C126312332 @default.
- W67346912 hasConcept C12707504 @default.
- W67346912 hasConcept C134306372 @default.
- W67346912 hasConcept C134652429 @default.
- W67346912 hasConcept C143936061 @default.
- W67346912 hasConcept C15927051 @default.
- W67346912 hasConcept C163716315 @default.
- W67346912 hasConcept C173608175 @default.
- W67346912 hasConcept C177264268 @default.
- W67346912 hasConcept C178489894 @default.
- W67346912 hasConcept C199360897 @default.
- W67346912 hasConcept C201866948 @default.
- W67346912 hasConcept C33884865 @default.
- W67346912 hasConcept C33923547 @default.
- W67346912 hasConcept C41008148 @default.
- W67346912 hasConcept C62520636 @default.
- W67346912 hasConcept C68339613 @default.
- W67346912 hasConcept C76155785 @default.
- W67346912 hasConcept C77618280 @default.
- W67346912 hasConcept C80444323 @default.
- W67346912 hasConceptScore W67346912C11413529 @default.
- W67346912 hasConceptScore W67346912C121332964 @default.
- W67346912 hasConceptScore W67346912C126312332 @default.
- W67346912 hasConceptScore W67346912C12707504 @default.
- W67346912 hasConceptScore W67346912C134306372 @default.
- W67346912 hasConceptScore W67346912C134652429 @default.
- W67346912 hasConceptScore W67346912C143936061 @default.
- W67346912 hasConceptScore W67346912C15927051 @default.
- W67346912 hasConceptScore W67346912C163716315 @default.
- W67346912 hasConceptScore W67346912C173608175 @default.
- W67346912 hasConceptScore W67346912C177264268 @default.
- W67346912 hasConceptScore W67346912C178489894 @default.
- W67346912 hasConceptScore W67346912C199360897 @default.
- W67346912 hasConceptScore W67346912C201866948 @default.
- W67346912 hasConceptScore W67346912C33884865 @default.
- W67346912 hasConceptScore W67346912C33923547 @default.
- W67346912 hasConceptScore W67346912C41008148 @default.
- W67346912 hasConceptScore W67346912C62520636 @default.
- W67346912 hasConceptScore W67346912C68339613 @default.
- W67346912 hasConceptScore W67346912C76155785 @default.
- W67346912 hasConceptScore W67346912C77618280 @default.
- W67346912 hasConceptScore W67346912C80444323 @default.
- W67346912 hasLocation W673469121 @default.
- W67346912 hasLocation W673469122 @default.
- W67346912 hasOpenAccess W67346912 @default.
- W67346912 hasPrimaryLocation W673469121 @default.
- W67346912 hasRelatedWork W1509211761 @default.
- W67346912 hasRelatedWork W1531488649 @default.
- W67346912 hasRelatedWork W1585350690 @default.
- W67346912 hasRelatedWork W2133693067 @default.
- W67346912 hasRelatedWork W2366027386 @default.
- W67346912 hasRelatedWork W2384718077 @default.
- W67346912 hasRelatedWork W2391299576 @default.
- W67346912 hasRelatedWork W2912254771 @default.
- W67346912 hasRelatedWork W3037767301 @default.
- W67346912 hasRelatedWork W67346912 @default.
- W67346912 isParatext "false" @default.
- W67346912 isRetracted "false" @default.
- W67346912 magId "67346912" @default.
- W67346912 workType "article" @default.