Wenjian Luo, Junteng Wang, Yamin Hu, Peilan Xu. Solving Dynamic 3-SAT Formula: An Empirical Study. In 3rd International Conference on Data Intelligence and Security, ICDIS 2020, South Padre Island, TX, USA, June 24-26, 2020. pages 134-140, IEEE, 2020. [doi]
Abstract is missing.