I want to implement " if($x_{i,k}=1$ AND $x_{j,k}=1$) then $p[j]\geq p[i]$ " as a linear constraint. Where $x_{i,k}$, $x_{j,k}$ are binary decision variables and p[i], p[j] are integer decision variables. I know that we can implement if-then constraints as link. Can someone please help me with this logical AND operation?
Thank you.