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

NSFC (Grant No. 61673320, 11526171, 61305074), and the Fundamental Research Funds for the Central Universities of China (Grant No. A0920502051305-24, 2682015CX060)

Research output: Contribution to journal › Article › peer-review

102 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	Published online - 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 AcceptedAuthor Accepted Manuscript -, 882 KB

Cite this

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

issn = "1875-6883",

publisher = "Springer",

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

UR - https://www.scopus.com/pages/publications/85018788947

U2 - 10.2991/ijcis.2017.10.1.55

DO - 10.2991/ijcis.2017.10.1.55

M3 - Article

SN - 1875-6883

VL - 10

SP - 824

EP - 834

JO - International Journal of Computational Intelligent System

JF - International Journal of Computational Intelligent System

IS - 1

ER -

A logical deduction based clause learning algorithm for Boolean satisfiability problems

Keywords

Access to Document

Other files and links

Profiles

Jun Liu

Cite this