Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
5 links
Oleg Zaikin
Researcher
PaperParallel algorithms for SAT in application to inversion problems of some discrete functionsAuthorship / preprint / 2011PaperOn estimating total time to solve SAT in distributed computing environments: Application to the SAT@home projectAuthorship / preprint / 2013PaperUsing Volunteer Computing for Mounting SAT-based Cryptographic AttacksAuthorship / preprint / 2014PaperUsing Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problemAuthorship / preprint / 2015PaperEncoding Cryptographic Functions to SAT Using Transalg SystemAuthorship / preprint / 2016