Login / Signup
On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables.
Dmitry Itsykson
Alexander Knop
Andrei E. Romashchenko
Dmitry Sokolov
Published in:
STACS (2017)
Keyphrases
</>
learning algorithm
computational complexity
computational cost
worst case
computationally efficient
times faster
significant improvement
theoretical analysis
neural network
data structure
management system
orders of magnitude
complex systems