Open AccessPseudo-Boolean Black-Box Optimization Methods in the Context of Divide-and-Conquer Approach to Solving Hard SAT Instances
Author(s) -
Oleg Zaikin,
Stepan Kochemazov
Publication year - 2019
Publication title -
destech transactions on computer science and engineering
Language(s) - English
Resource type - Journals
ISSN - 2475-8841
DOI - 10.12783/dtcse/optim2018/27923
Subject(s) - divide and conquer algorithms , computer science , black box , context (archaeology) , theoretical computer science , algorithm , artificial intelligence , paleontology , biology