Bloomfilter-Based Practical Kernelization Algorithms for Minimum Satisfiability.

Chao Xu Liting Dai Kang Liu

Published in: ICONIP (9) (2023)

Keyphrases

computational complexity
computationally efficient
data structure
recently developed
times faster
significant improvement
orders of magnitude
computational cost
practical solutions
computationally demanding
data sets
learning algorithm
optimization problems
worst case
search space
lower bound
data mining