SAT: Past and Future.

Published in: SAT (2007)

Keyphrases

historical information
search algorithm
long term
real world
artificial intelligence
social networks
logic programming
heuristic search
satisfiability problem
sat solvers
max sat
search procedures