Login / Signup

PACE Solver Description: Tweed-Plus: A Subtree-Improving Heuristic Solver for Treedepth.

James Trimble
Published in: IPEC (2020)
Keyphrases
  • tree search
  • search algorithm
  • decision trees
  • quantified boolean formulas
  • data sets
  • high level
  • dynamic programming
  • constraint solving