Chao Xu

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 7

Top Topics

Theoretical Analysis

Maximum Satisfiability

Improved Algorithm

Top Venues

Theor. Comput. Sci.

J. Comb. Optim.

Publications

Wenjun Li, Xueying Yang, Chao Xu, Yongjie Yang
An FPT Algorithm for Directed Co-Graph Edge Deletion. Algorithms 17 (2) (2024)
Wenjun Li, Chao Xu, Yongjie Yang, Jianer Chen, Jianxin Wang
A Refined Branching Algorithm for the Maximum Satisfiability Problem. Algorithmica 84 (4) (2022)
Chao Xu, Wenjun Li, Jianxin Wang, Yongjie Yang
An improved algorithm for the (n, 3)-MaxSAT problem: asking branchings to satisfy the clauses. J. Comb. Optim. 42 (3) (2021)
Chao Xu, Jianer Chen, Jianxin Wang
, 3)-MaxSAT algorithms. Theor. Comput. Sci. 774 (2019)
Chao Xu, Wenjun Li, Yongjie Yang, Jianer Chen, Jianxin Wang
Resolution and Domination: An Improved Exact MaxSAT Algorithm. IJCAI (2019)
Jianer Chen, Chao Xu, Jianxin Wang
Dealing with 4-variables by resolution: An improved MaxSAT algorithm. Theor. Comput. Sci. 670 (2017)
Wenjun Li, Chao Xu, Jianxin Wang, Yongjie Yang
An Improved Branching Algorithm for (n, 3)-MaxSAT Based on Refined Observations. COCOA (2) (2017)
Yunlong Liu, Jianxin Wang, Chao Xu, Jiong Guo, Jianer Chen
An effective branching strategy based on structural relationship among multiple forbidden induced subgraphs. J. Comb. Optim. 29 (1) (2015)
Jianer Chen, Chao Xu
Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm. CoRR (2015)
Chao Xu, Jianer Chen, Jianxin Wang
Improved MaxSAT Algorithms for Instances of Degree 3. COCOA (2015)
Jianer Chen, Chao Xu, Jianxin Wang
Dealing with 4-Variables by Resolution: An Improved MaxSAT Algorithm. WADS (2015)
Qilong Feng, Jianxin Wang, Chao Xu, Jinyi Yao, Jianer Chen
Improved parameterized algorithms for minimum link-length rectilinear spanning path problem. Theor. Comput. Sci. 560 (2014)
Yunlong Liu, Jianxin Wang, Chao Xu, Jiong Guo, Jianer Chen
An Effective Branching Strategy for Some Parameterized Edge Modification Problems with Multiple Forbidden Induced Subgraphs. COCOON (2013)