Speeding Up Assumption-Based SAT.

Randy Hickey Fahiem Bacchus

Published in: SAT (2019)

Keyphrases

satisfiability problem
sat problem
phase transition
sat solvers
artificial intelligence
information systems
search algorithm
stochastic local search algorithms
special case
search strategies
sat instances