Login / Signup
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms.
Alexander A. Semenov
Daniil Chivilikhin
Artem Pavlenko
Ilya V. Otpuschennikov
Vladimir Ulyantsev
Alexey Ignatiev
Published in:
CP (2021)
Keyphrases
</>
evolutionary optimization
computational complexity
data structure
multi objective
orders of magnitude
dynamic programming
combinatorial optimization
phase transition
sat instances
artificial intelligence
lower bound
stochastic local search