Outer approximation algorithm with physical domain