ИСТИНА

Sokolov D.

Соавторы: Itsykson D., Knop A., Ромащенко А.Е.

2 статьи

Количество цитирований статей в журналах по данным Scopus: 8

IstinaResearcherID (IRID): 163649234

Деятельность

• Статьи в журналах

  • 
    • 2020 ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES
    • ITSYKSON DMITRY, KNOP ALEXANDER, ROMASHCHENKO ANDREI, SOKOLOV DMITRY
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 85, № 2, с. 632-670 DOI

• Статьи в сборниках

  • 
    • 2017 On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables
    • Itsykson D., Knop A., Romashchenko A., Sokolov D.
    • в сборнике 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), том 66, с. 43:1-43:14 DOI