On OBDD-based Algorithms and Proof Systems that Dynamically Change the order of Variables.
Dmitry ItsyksonAlexander KnopAndrei E. RomashchenkoDmitry SokolovPublished in: J. Symb. Log. (2020)
Keyphrases
- significant improvement
- computationally efficient
- computer vision algorithms
- times faster
- random variables
- computational cost
- data structure
- computer systems
- computational complexity
- data mining techniques
- knowledge based systems
- data sets
- theoretical analysis
- orders of magnitude
- retrieval systems
- boolean functions
- changing environment