Login / Signup

Computing Twin-width with SAT and Branch & Bound.

André SchidlerStefan Szeider
Published in: IJCAI (2023)
Keyphrases
  • branch bound
  • search algorithm
  • satisfiability problem
  • bayesian networks
  • evolutionary algorithm
  • markov random field
  • optimization problems
  • particle swarm optimization
  • pso algorithm