Constraint Programming to Discover One-Flip Local Optima of Quadratic Unconstrained Binary Optimization Problems