Merging Variables: One Technique of Search in Pseudo-Boolean Optimization
From MaRDI portal
Publication:5214427
DOI10.1007/978-3-030-33394-2_8zbMath1429.90100arXiv1908.00751MaRDI QIDQ5214427
Aleksandr Anatol'evich Semënov
Publication date: 7 February 2020
Published in: Mathematical Optimization Theory and Operations Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1908.00751
local search; variable neighborhood search; pseudo-Boolean optimization; Boolean satisfiability problem; \((1+1)\)-evolutionary algorithm
90C59: Approximation methods and heuristics in mathematical programming
Uses Software