Faster Proximity Searching with the Distal SAT.

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

Published in: SISAP (2014)

Keyphrases

search strategies
sat solvers
satisfiability problem
highly efficient
website
x ray images
sat problem
database
case study
search algorithm
search procedures