I would like to clarify some doubts about how SCIP handles relpscost branching for SAT instances. I have read about all the branching rules in chapter 5 of Achterberg\'s PhD
