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

Published in: CoRR (2018)

Keyphrases

search algorithm
search strategies
search strategy
search space
satisfiability problem
search procedures
information retrieval
search methods
search problems
search efficiency
genetic algorithm
user queries
sat solvers
search procedure
stochastic local search
variable ordering