Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Stepan Kochemazov
Map detail
Stepan Kochemazov4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipStepan KochemazovAStepan KochemazovResearcherUsing synchronous Boolean networks to model several phenomena of collective behaviorWUsing synchronous Boole...preprint / 2014Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SATWTransalg: a Tool for Tr...preprint / 2015Encoding Cryptographic Functions to SAT Using Transalg SystemWEncoding Cryptographic ...preprint / 2016
Person3 links

Stepan Kochemazov

Researcher