Computing with SAT Oracles: Past, Present and Future.

João Marques-Silva

Published in: CiE (2018)

Keyphrases

historical information
search algorithm
satisfiability problem
real world
search space
sat solvers
sat problem
current status
data sets
neural network
objective function
active learning
long term
search strategies