15 citations · 42 across the 17 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DS2015★ 15 cited
Approximate Association via Dissociation
Jie You, Jianxin Wang, Yixin Cao
A vertex set of a graph is an association set if each component of is a clique, or a dissociation set if each component of is a single vertex or a single ed…
cs.DS2015★ 2 cited
Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm
Jianer Chen, Chao Xu
We study techniques for solving the Maximum Satisfiability problem (MaxSAT). Our focus is on variables of degree 4. We identify cases for degree-4 variables and show how the resolu…