We stand with Ukraine  

Chao Xu

Affiliations:
  • Central South University, Changsha


According to our database1, Chao Xu authored at least 12 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An FPT Algorithm for Directed Co-Graph Edge Deletion.
[BibTeX]
[DOI]
Wenjun Li
,
Xueying Yang
,
Chao Xu
,
Yongjie Yang
Algorithms, 2024

2022
A Refined Branching Algorithm for the Maximum Satisfiability Problem.
[BibTeX]
[DOI]
Wenjun Li
,
Chao Xu
,
Yongjie Yang
,
Jianer Chen
,
Jianxin Wang
Algorithmica, 2022

2021
An improved algorithm for the (n, 3)-MaxSAT problem: asking branchings to satisfy the clauses.
[BibTeX]
[DOI]
Chao Xu
,
Wenjun Li
,
Jianxin Wang
,
Yongjie Yang
J. Comb. Optim., 2021

2019
Resolution and linear CNF formulas: Improved (<i>n</i>, 3)-MaxSAT algorithms.
[BibTeX]
[DOI]
Chao Xu
,
Jianer Chen
,
Jianxin Wang
Theor. Comput. Sci., 2019

Resolution and Domination: An Improved Exact MaxSAT Algorithm.
[BibTeX]
[DOI]
Chao Xu
,
Wenjun Li
,
Yongjie Yang
,
Jianer Chen
,
Jianxin Wang
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2017
An Improved Branching Algorithm for (n, 3)-MaxSAT Based on Refined Observations.
[BibTeX]
[DOI]
Wenjun Li
,
Chao Xu
,
Jianxin Wang
,
Yongjie Yang
Proceedings of the Combinatorial Optimization and Applications, 2017

2015
An effective branching strategy based on structural relationship among multiple forbidden induced subgraphs.
[BibTeX]
[DOI]
Yunlong Liu
,
Jianxin Wang
,
Chao Xu
,
Jiong Guo
,
Jianer Chen
J. Comb. Optim., 2015

Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm.
[BibTeX]
[DOI]
Jianer Chen
,
Chao Xu
CoRR, 2015

Dealing with 4-Variables by Resolution: An Improved MaxSAT Algorithm.
[BibTeX]
[DOI]
Jianer Chen
,
Chao Xu
,
Jianxin Wang
Proceedings of the Algorithms and Data Structures - 14th International Symposium, 2015

Improved MaxSAT Algorithms for Instances of Degree 3.
[BibTeX]
[DOI]
Chao Xu
,
Jianer Chen
,
Jianxin Wang
Proceedings of the Combinatorial Optimization and Applications, 2015

2014
Improved parameterized algorithms for minimum link-length rectilinear spanning path problem.
[BibTeX]
[DOI]
Qilong Feng
,
Jianxin Wang
,
Chao Xu
,
Jinyi Yao
,
Jianer Chen
Theor. Comput. Sci., 2014

2013
An Effective Branching Strategy for Some Parameterized Edge Modification Problems with Multiple Forbidden Induced Subgraphs.
[BibTeX]
[DOI]
Yunlong Liu
,
Jianxin Wang
,
Chao Xu
,
Jiong Guo
,
Jianer Chen
Proceedings of the Computing and Combinatorics, 19th International Conference, 2013


  Loading...