An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers.

Wenjing Chang Yang Xu Shuwei Chen

Published in: Symmetry (2019)

Keyphrases

sat solvers
search strategies
orders of magnitude
propositional satisfiability
max sat
constraint satisfaction
sat instances
search space
sat solving
search tree
sat problem
clause learning
boolean satisfiability
clause learning sat solvers
weighted max sat
search strategy
sat encodings
boolean formula