| Language | English |
|---|---|
| Pages | 824-834 |
| Journal | International Journal of Computational Intelligent System |
| Volume | 10 |
| Issue number | 1 |
| Early online date | 1 May 2017 |
| DOIs | |
| Publication status | E-pub ahead of print - 1 May 2017 |
Keywords
- Boolean Satisfiability
- SAT Problem
- Clause Learning
- Logical Deduction
- Implication Graph
Cite this
}
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 journal › Article
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 -