[HTML][HTML] Backdoor dnfs

S Ordyniak, A Schidler, S Szeider - Journal of Computer and System …, 2024 - Elsevier
We introduce backdoor DNFs, as a tool to measure the theoretical hardness of CNF
formulas. Like backdoor sets and backdoor trees, backdoor DNFs are defined relative to a …

Improved approximation for two-dimensional vector multiple knapsack

T Cohen, A Kulik, H Shachnai - Computational Geometry, 2025 - Elsevier
We study the uniform 2-dimensional vector multiple knapsack (2VMK) problem, a natural
variant of multiple knapsack arising in real-world applications such as virtual machine …