Skip to content

Alexander Knop

  • PhD
  • Junior Researcher
  • Steklov Institute of Mathematics at St.Peterburg
  • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 5CitationsNumber of citations received by Alexander's publications. Updated daily.

Other IDs

Research interests

cryptographyalgorithmsstructural complexityproof complexity

Co-authors (7)

Publications (5)

  • Reordering rule makes OBDD proof systems stronger

    • Buss S
    • Itsykson D
    • Knop A
    • et al.
    N/AReaders
    N/ACitations
  • Strategies for Stable Merge Sorting

    • Buss S
    • Knop A
    N/AReaders
    N/ACitations
  • Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies

    • Khadiev K
    • Khadieva A
    • Knop A
    N/AReaders
    N/ACitations
  • Hard satisfiable formulas for splittings by linear combinations

    • Itsykson D
    • Knop A
    N/AReaders
    N/ACitations
    Get full text
  • IPS-like proof systems based on binary decision diagrams

    • Knop A
    N/AReaders
    N/ACitations

Professional experience

Junior Researcher

Steklov Institute of Mathematics at St.Peterburg

January 2017 - Present

Education

PhD

Steklov Institute of Mathematics at St.Peterburg

August 2013 - August 2016(3 years)

Specialist

Faculty of Mathematics and Mechanics, Saint-Petersburg State University

September 2008 - July 2013(5 years)