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 journalArticle

LanguageEnglish
Pages824-834
JournalInternational Journal of Computational Intelligent System
Volume10
Issue number1
Early online date1 May 2017
DOIs
Publication statusE-pub ahead of print - 1 May 2017

Keywords

  • Boolean Satisfiability
  • SAT Problem
  • Clause Learning
  • Logical Deduction
  • Implication Graph

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 = "5",
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",
number = "1",

}

A logical deduction based clause learning algorithm for Boolean satisfiability problems. / Chen, Q.S.; Xu, Y.; Liu, Jun; He, X.X.

In: International Journal of Computational Intelligent System, Vol. 10, No. 1, 01.05.2017, p. 824-834.

Research output: Contribution to journalArticle

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

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

T2 - International Journal of Computational Intelligence Systems

JF - International Journal of Computational Intelligence Systems

SN - 1875-6891

IS - 1

ER -