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]
@inproceedings{LuoWHX20,
title = {Solving Dynamic 3-SAT Formula: An Empirical Study},
author = {Wenjian Luo and Junteng Wang and Yamin Hu and Peilan Xu},
year = {2020},
doi = {10.1109/ICDIS50059.2020.00024},
url = {https://doi.org/10.1109/ICDIS50059.2020.00024},
researchr = {https://researchr.org/publication/LuoWHX20},
cites = {0},
citedby = {0},
pages = {134-140},
booktitle = {3rd International Conference on Data Intelligence and Security, ICDIS 2020, South Padre Island, TX, USA, June 24-26, 2020},
publisher = {IEEE},
isbn = {978-1-7281-9379-3},
}