Old Web
English
Sign In
Acemap
>
authorDetail
>
Dmitry Itsykson
Dmitry Itsykson
St. Petersburg Department of Steklov Institute of Mathematics
Mathematics
Mathematical proof
Discrete mathematics
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Lower Bounds on OBDD Proofs with Several Orders
2021
ACM Transactions on Computational Logic
Samuel R. Buss
Dmitry Itsykson
Alexander Knop
Artur Riazanov
Dmitry Sokolov
Show All
Source
Cite
Save
Citations (0)
1