ZAIKIN, Oleg
-
2018 IX International Conference on Optimization and Applications (OPTIMA 2018) (Supplementary Volume) - SESSION 1: CONTINUOUS AND DISCRETE OPTIMIZATION
Pseudo-Boolean Black-Box Optimization Methods in the Context of Divide-and-Conquer Approach to Solving Hard SAT Instances
Abstract
ISSN: 2475-8841