Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).

Q. Chen, Y. Xu, and G. Wu. 计算机科学, 45 (12): 137-141 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jinglan Wu

Recovery of citric acid from fermentation broth using simulated moving bed technology: = Reinigung von Zitronensäure aus Fermentationslösung durch kontinuierliche ChromatographieJ. Wu. Uni Erlangen-Nürnberg, (2009)

Changzhu Wu

Yinghua Wu

Jinjin Wu

Haiyan Wu

Other publications of authors with the same name

Improving probability selection based weights for satisfiability problems.H. Fu, J. Liu, G. Wu, Y. Xu, and G. Sutcliffe. Knowl. Based Syst., (2022)Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy.G. Zeng, Y. Xu, G. Wu, and F. Cao. ISKE, page 47-51. IEEE, (2021)Parallel hybrid genetic algorithm for sat problems based on OpenMP.G. Wu, Q. Chen, F. Cao, Y. Xu, and X. Zhong. ISKE, page 1-5. IEEE, (2017)Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments.X. Wang, Y. Xu, J. Liu, G. Wu, and S. Chen. ISKE, page 450-457. IEEE, (2023)基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).Q. Chen, Y. Xu, and G. Wu. 计算机科学, 45 (12): 137-141 (2018)An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.P. Liu, S. Chen, J. Liu, Y. Xu, F. Cao, and G. Wu. Knowl. Based Syst., (2023)Conflicting rate based branching heuristic for CDCL SAT solvers.Q. Chen, Y. Xu, G. Wu, and X. He. ISKE, page 1-5. IEEE, (2017)Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.H. Fu, Y. Xu, G. Wu, J. Liu, S. Chen, and X. He. Inf. Sci., (2021)一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).Q. Chen, Y. Xu, G. Wu, and X. He. 计算机科学, 44 (11): 279-283 (2017)An application security model based on business process in information system.P. Xu, M. Chen, L. Feng, G. Wu, F. Ma, and D. Wang. ISKE, page 1-4. IEEE, (2017)

BibSonomy

Disambiguation of "Wu, Guanfeng"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).

Please choose a person to relate this publication to

Jinglan Wu

Changzhu Wu

Yinghua Wu

Jinjin Wu

Haiyan Wu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wu, Guanfeng"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML 基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).

Please choose a person to relate this publication to

Jinglan Wu

Changzhu Wu

Yinghua Wu

Jinjin Wu

Haiyan Wu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).