Login / Signup

PACE Solver Description: Mount Doom - An Exact Solver for Directed Feedback Vertex Set.

Sebastian AngrickBen BalsKatrin CaselSarel CohenTobias FriedrichNiko HastrichTheresa HradilakDavis IssacOtto KißigJonas SchmidtLeo Wendt
Published in: IPEC (2022)
Keyphrases
  • vertex set
  • high level
  • quantified boolean formulas
  • user feedback
  • constraint solver
  • image segmentation
  • computational complexity
  • nearest neighbor
  • combinatorial optimization