<div dir="ltr"><div>Dear SCIP community,</div><div>    I am aware that scip uses an expression graph to represent general nonlinear functions and constructs its  linear under-estimators via factorizable programming. Given a general nonlinear function (e.g. signomial functions), scip adds auxiliary variables and constraints associated with some intermediate nodes of the expression graph. <br></div><div>  I have the following common questions:</div><div>  1. In which phase (e.g. transformation, resolve), does scip reformulate the expression graph to a set of auxiliary variables and constraints?</div><div>  2.How can get these auxiliary variables after reformulation, i.e. (SCIP_VAR *) and constraints (SCIP_CONS*)? <br></div><div>  3. For example, given a signomial function f(x)  = \sum_i s_i(x), where \sum_i s_i(x) =  c_i \prod_j x_j^{p_{ij}}.  how can I get the variable associated to the signomial term s_i(x) =  c_i \prod_j x_j^{p_{ij}}?</div><div><br></div><div> Best wishes,</div><div>Liding Xu<br></div></div>