Old Web
English
Sign In
Acemap
>
Paper
>
A logical deduction based clause learning algorithm for Boolean satisfiability problems
A logical deduction based clause learning algorithm for Boolean satisfiability problems
2017
Qingshan Chen
Yang Xu
Jun Liu
Xingxing He
Keywords:
Mathematics
Boolean expression
And-inverter graph
Maximum satisfiability problem
Discrete mathematics
Truth table
#SAT
Deductive reasoning
Boolean satisfiability problem
Algorithm
Implication graph
Correction
Source
Cite
Save
Machine Reading By IdeaReader
15
References
0
Citations
NaN
KQI
[]