SAT and SMT Are Still Resolution: Questions and Challenges.

Robert Nieuwenhuis

Published in: IJCAR (2012)

Keyphrases

modulo theories
open questions
lessons learned
real world
key issues
correct answers
methodological issues
answer questions
technical challenges
satisfiability problem
sat problem
sat solvers
open issues
stochastic local search
variable ordering
sat solving
natural language