A logical deduction based clause learning algorithm for Boolean satisfiability problems

Q.S. Chen; Y. Xu; Jun Liu; X.X. He

doi:10.2991/ijcis.2017.10.1.55

A logical deduction based clause learning algorithm for Boolean satisfiability problems

Q.S. Chen, Y. Xu, Jun Liu, X.X. He

Research output: Contribution to journal › Article

6 Downloads (Pure)

Original language	English
Pages (from-to)	824-834
Journal	International Journal of Computational Intelligent System
Volume	10
Issue number	1
Early online date	1 May 2017
DOIs	https://doi.org/10.2991/ijcis.2017.10.1.55
Publication status	E-pub ahead of print - 1 May 2017

Keywords

Boolean Satisfiability
SAT Problem
Clause Learning
Logical Deduction
Implication Graph

Access to Document

10.2991/ijcis.2017.10.1.55

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems AcceptedAccepted author manuscript, 882 KB

Profiles

Jun Liu

j.liu@ulster.ac.uk

School of Computing - Reader
Faculty Of Computing, Eng. & Built Env. - reader

Person: Academic

Cite this

Chen, Q. S., Xu, Y., Liu, J., & He, X. X. (2017). A logical deduction based clause learning algorithm for Boolean satisfiability problems. International Journal of Computational Intelligent System, 10(1), 824-834. https://doi.org/10.2991/ijcis.2017.10.1.55

@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",

}

TY - JOUR

T1 - A logical deduction based clause learning algorithm for Boolean satisfiability problems

AU - Chen, Q.S.

AU - Xu, Y.

AU - Liu, Jun

AU - He, X.X.

PY - 2017/5/1

Y1 - 2017/5/1

KW - Boolean Satisfiability

KW - SAT Problem

KW - Clause Learning

KW - Logical Deduction

KW - Implication Graph

UR - https://pure.ulster.ac.uk/en/publications/a-logical-deduction-based-clause-learning-algorithm-for-boolean-s

U2 - 10.2991/ijcis.2017.10.1.55

DO - 10.2991/ijcis.2017.10.1.55

M3 - Article

VL - 10

SP - 824

EP - 834

JO - International Journal of Computational Intelligence Systems

JF - International Journal of Computational Intelligence Systems

SN - 1875-6891

IS - 1

ER -