Approximating Quantified SMT-Solving with SAT.

Xianjin Fu Wanwei Liu Jing Li

Published in: SSIRI (Companion) (2011)

Keyphrases

sat solving
modulo theories
stochastic local search
np complete problems
sat instances
sat solvers
sat encodings
phase transition
max sat
sat problem
variable ordering
search strategies
solving problems
answer set programming
randomly generated
satisfiability problem
weighted max sat