Bloomfilter-Based Practical Kernelization Algorithms for Minimum Satisfiability.

Chao Xu, Liting Dai, Kang Liu

Browse the full ICONIP paper archive.