See Section 3.1 in BnBDAQP paper
See Section 3.1 in BnBDAQP paper