Combining VSIDS and CHB Using Restarts in SAT.

Mohamed Sami Cherif Djamal Habet Cyril Terrioux

Published in: CP (2021)

Keyphrases

backtracking search
satisfiability problem
search algorithm
search problems
artificial intelligence
data sets
neural network
sat solvers
propositional satisfiability
genetic algorithm
random walk
parallel algorithm
phase transition
sat problem
clause learning