Faster proximity searching with the distal SAT.

Edgar Chávez Verónica Ludueña Nora Reyes Patricia Roggero

Published in: Inf. Syst. (2016)

Keyphrases

search strategies
sat solvers
search algorithm
satisfiability problem
sat instances
neural network
sat solving
genetic algorithm
website
stochastic local search algorithms