Chunling Hu, Gang Lv, Xiaofeng Wang. A Bucket-Tree Based Algorithm for Automated Reasoning. In Xiandong Ma, editor, 24th International Conference on Automation and Computing, ICAC 2018, Newcastle upon Tyne, United Kingdom, September 6-7, 2018. pages 1-8, IEEE, 2018. [doi]
Abstract is missing.