TY - RPRT TI - A Courcelle-Type Metatheorem for Rank-Bounded Unconstrained Binary Optimization AU - Marc Harary PY - 2025 UR - https://arxiv.org/abs/2510.15168 ID - 2510.15168 ER -