On OBDD-based algorithms and proof systems that dynamically change order of variables.
Dmitry ItsyksonAlexander KnopAndrei E. RomashchenkoDmitry SokolovPublished in: Electron. Colloquium Comput. Complex. (2019)
Keyphrases
- times faster
- orders of magnitude
- computational cost
- computer vision algorithms
- significant improvement
- model checking
- data sets
- probability distribution
- changing environment
- computer systems
- data mining techniques
- optimization problems
- np hard
- expert systems
- computational complexity
- data structure
- data mining
- neural network