Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.

Yoichiro Iida Tomohiro Sonobe Mary Inaba

Published in: PRICAI (1) (2022)

Keyphrases

parallel search
sat solvers
search strategies
theorem proving
similarity index
symmetry breaking
search space
constraint solver
sat solving
search algorithm
orders of magnitude
lower bound
sat problem
machine learning
constraint satisfaction
search tree
max sat
sat instances
rand index