Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms.

Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev

Browse the full CP paper archive.