##article.return## A Courcelle-Type Metatheorem for Rank-Bounded Unconstrained Binary Optimization Download Download PDF