pith. sign in

Alexander Semenov

Identifiers

  • name variant Alexander Semenov 0.60 · backfill

Papers (14)

  1. Electron transfer in confined electromagnetic fields physics.chem-ph · 2019 · author #1
  2. An Integer Programming Formulation of the Key Management Problem in Wireless Sensor Networks cs.CR · 2019 · author #2
  3. On Cryptographic Attacks Using Backdoors for SAT cs.AI · 2018 · author #1
  4. Topological engineering of interfacial optical Tamm states for highly-sensitive near-singular-phase optical detection physics.optics · 2018 · author #4
  5. Multimodal Clustering for Community Detection cs.SI · 2017 · author #2
  6. A Distributed Parallel Algorithm for Minimum Spanning Tree Problem cs.DC · 2016 · author #2
  7. Potential of a Superconducting Photon Counter for Heterodyne Detection at Telecommunication Wavelength physics.ins-det · 2016 · author #3
  8. Encoding Cryptographic Functions to SAT Using Transalg System cs.AI · 2016 · author #2
  9. Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem cs.AI · 2015 · author #1
  10. Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks cs.DC · 2014 · author #1
  11. Using synchronous Boolean networks to model several phenomena of collective behavior cs.SI · 2014 · author #2
  12. Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT cs.AI · 2014 · author #2
  13. On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project cs.AI · 2013 · author #1
  14. Parallel algorithms for SAT in application to inversion problems of some discrete functions cs.DC · 2011 · author #1

Mentions

  • 1102.3563 #1 · backfill · confidence 0.70 Alexander Semenov

Frequent Coauthors