Yamin Hu, Wenjian Luo, Junteng Wang. Community-based 3-SAT formulas with a predefined solution. IJWMC, 21(4):310-322, 2021. [doi]
@article{HuLW21-1,
title = {Community-based 3-SAT formulas with a predefined solution},
author = {Yamin Hu and Wenjian Luo and Junteng Wang},
year = {2021},
doi = {10.1504/IJWMC.2021.121603},
url = {https://doi.org/10.1504/IJWMC.2021.121603},
researchr = {https://researchr.org/publication/HuLW21-1},
cites = {0},
citedby = {0},
journal = {IJWMC},
volume = {21},
number = {4},
pages = {310-322},
}