Mobile Communication / Optimization Problem / Interior Point Method / Boolean Satisfiability / Base station / Constrained Optimization / Time of Arrival / Location Estimation / Geometric Optimization / Constrained Optimization / Time of Arrival / Location Estimation / Geometric Optimization