SAT-Based Big-Step Local Search.

Morad Muslimany Michael Codish

Published in: SYNASC (2018)

Keyphrases

search algorithm
search space
genetic algorithm
memetic algorithm
simulated annealing
sat solvers
post processing
ai planning
answer set programming
big data
combinatorial optimization
neural network
tabu search
scheduling problem
dynamic programming
optimal solution
constraint solver