Centrality-Based Improvements to CDCL Heuristics.

Sima Jamali David Mitchell

Published in: SAT (2018)

Keyphrases

sat solvers
sat encodings
search strategies
propositional satisfiability
social network analysis
search algorithm
orders of magnitude
clause learning
constraint satisfaction
max sat
unit propagation
heuristic search
search space
social networks
sat problem
search tree
sat instances
graph coloring