relation between milp modeling and logical inference for chemical process synthesis.pdf