Login / Signup

Finding Optimal Solutions to Token Swapping by Conflict-Based Search and Reduction to SAT.

Pavel Surynek
Published in: ICTAI (2018)
Keyphrases
  • search algorithm
  • search strategy
  • search strategies
  • search efficiency
  • search problems
  • conflict resolution
  • genetic algorithm
  • stochastic local search
  • randomly chosen
  • finding optimal solutions