34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)сборник

Статьи, опубликованные в сборнике

---

• 
  • 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