Login / Signup
PACE Solver Description: DiVerSeS - A Heuristic Solver for the Directed Feedback Vertex Set Problem.
Sylwester Swat
Published in:
IPEC (2022)
Keyphrases
</>
tree search
vertex set
high level
optimal solution
constraint satisfaction
quantified boolean formulas