180 citations · 1.1k across the 47 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2013★ 90 cited
Spin glass approach to the feedback vertex set problem
Hai-Jun Zhou
A feedback vertex set (FVS) of an undirected graph is a set of vertices that contains at least one vertex of each cycle of the graph. The feedback vertex set problem consists of co…
cs.CC2013★ 1 cited
Witness of unsatisfiability for a random 3-satisfiability formula
Lu-Lu Wu, Hai-Jun Zhou, Mikko Alava +2
The random 3-satisfiability (3-SAT) problem is in the unsatisfiable (UNSAT) phase when the clause density exceeds a critical value . However, rigorously prov…