Old Web
English
Sign In
Acemap
>
Paper
>
Lower Bounds on OBDD Proofs with Several Orders.
Lower Bounds on OBDD Proofs with Several Orders.
2020
Samuel R. Buss
Dmitry Itsykson
Alexander Knop
Artur Riazanov
Dmitry Sokolov
Keywords:
Discrete mathematics
Mathematical proof
Mathematics
Combinatorics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
20
References
0
Citations
NaN
KQI
[]