@article{d4f4b9a380e74cb4975b5c0dd8ec0b9f,
title = "A logical deduction based clause learning algorithm for Boolean satisfiability problems",
keywords = "Boolean Satisfiability, SAT Problem, Clause Learning, Logical Deduction, Implication Graph",
author = "Q.S. Chen and Y. Xu and Jun Liu and X.X. He",
year = "2017",
month = may,
day = "1",
doi = "10.2991/ijcis.2017.10.1.55",
language = "English",
volume = "10",
pages = "824--834",
journal = "International Journal of Computational Intelligence Systems",
issn = "1875-6891",
publisher = "Taylor & Francis",
number = "1",
}