Login / Signup

SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem.

Ricardo Tavares de OliveiraFabiano Silva
Published in: BRACIS (2014)
Keyphrases
  • boolean satisfiability
  • sat solvers
  • decision trees
  • sat problem
  • lower bound
  • upper bound
  • search strategies
  • propositional satisfiability
  • sat solving