Designing New Phase Selection Heuristics.

Arijit Shaw Kuldeep S. Meel

Published in: SAT (2020)

Keyphrases

image processing
heuristic search
search methods
phase information
real world
social networks
search algorithm
search space
least squares
selection algorithm
selection strategy
selection strategies
selection mechanism