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

A complementary ratio based clause selection method for contradiction separation dynamic deduction.

G. Zeng, S. Chen, J. Liu, Y. Xu, and P. Liu. Knowl. Based Syst., (2024)

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.

Shuwei Guo

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Other publications of authors with the same name

An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing in Heterogeneous Environments.J. Xiao, Y. Zhang, S. Chen, and H. Yu. NPC, volume 7513 of Lecture Notes in Computer Science, page 1-13. Springer, (2012)Lower Limb Balance Rehabilitation of Post-stroke Patients Using an Evaluating and Training Combined Augmented Reality System.S. Chen, B. Hu, Y. Gao, Z. Liao, J. Li, and A. Hao. ISMAR Adjunct, page 217-218. IEEE, (2020)Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.Y. Xu, J. Liu, X. He, X. Zhong, and S. Chen. Int. J. Comput. Intell. Syst., 11 (1): 384-401 (2018)A complementary ratio based clause selection method for contradiction separation dynamic deduction.G. Zeng, S. Chen, J. Liu, Y. Xu, and P. Liu. Knowl. Based Syst., (2024)On Relationships of Filters in Lattice Implication Algebra.J. Lai, S. Chen, Y. Xu, K. Qin, and L. Chen. ICFIE, volume 40 of Advances in Soft Computing, page 1000-1008. Springer, (2007)Dynamics of Conflicting Beliefs in Social Networks.S. Chen, D. Glass, and M. McCartney. CompleNet, volume 597 of Studies in Computational Intelligence, page 171-178. Springer, (2015)Lattice-valued matrix game with mixed strategies for intelligent decision support.Y. Xu, J. Liu, X. Zhong, and S. Chen. Knowl. Based Syst., (2012)Some synergized clause selection strategies for contradiction separation based automated deduction.S. Chen, Y. Xu, Y. Jiang, J. Liu, and X. He. ISKE, page 1-6. IEEE, (2017)Context-Aware Modeling via Simulated Exposure Page for CTR Prediction.X. Li, S. Chen, J. Dong, J. Zhang, Y. Wang, X. Wang, and D. Wang. SIGIR, page 1904-1908. ACM, (2023)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)

BibSonomy

Disambiguation of "Chen, Shuwei"

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

A complementary ratio based clause selection method for contradiction separation dynamic deduction.

Please choose a person to relate this publication to

Shuwei Guo

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Chen, Shuwei"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A complementary ratio based clause selection method for contradiction separation dynamic deduction.

Please choose a person to relate this publication to

Shuwei Guo

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

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

A complementary ratio based clause selection method for contradiction separation dynamic deduction.