Relevance for SAT(ID).

Joachim Jansen Bart Bogaerts Jo Devriendt Gerda Janssens Marc Denecker

Published in: IJCAI (2016)

Keyphrases

sat solvers
information retrieval
stochastic local search
search algorithm
satisfiability problem
sat problem
propositional satisfiability
relevance feedback
boolean satisfiability
data sets
neural network
website
search strategies
relative importance
sat instances
highly relevant