Login / Signup

PACE Solver Description: Hust-Solver - A Heuristic Algorithm of Directed Feedback Vertex Set Problem.

Yuming DuQingyun ZhangJunzhou XuShungen ZhangChao LiaoZhihuai ChenZhibo SunZhouxing SuJunwen DingChen WuPinyan LuZhi-Peng Lv
Published in: IPEC (2022)
Keyphrases
  • vertex set
  • data streams
  • probabilistic model
  • constraint solver
  • quantified boolean formulas