Forrest Sheng Bao, Chris E. Gutierrez, Jeriah Jn-Charles, Yaowei Yan, Yuanlin Zhang. Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination. Artif. Intell. Rev., 49(3):439-453, 2018. [doi]
@article{BaoGJYZ18,
title = {Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination},
author = {Forrest Sheng Bao and Chris E. Gutierrez and Jeriah Jn-Charles and Yaowei Yan and Yuanlin Zhang},
year = {2018},
doi = {10.1007/s10462-016-9530-6},
url = {https://doi.org/10.1007/s10462-016-9530-6},
researchr = {https://researchr.org/publication/BaoGJYZ18},
cites = {0},
citedby = {0},
journal = {Artif. Intell. Rev.},
volume = {49},
number = {3},
pages = {439-453},
}