The Impact of Entropy and Solution Density on Selected SAT Heuristics.

Dor Cohen Ofer Strichman

Published in: Entropy (2018)

Keyphrases

search algorithm
search procedures
satisfiability problem
stochastic local search algorithms
lower bound
information theoretic
search strategies
greedy heuristics
mutual information
constraint satisfaction problems
search strategy
information theory
heuristic solution