This paper presents a review of past and present results approaches in the area motion planning using MIP (Mixed-integer Programming). Although early 2000s was still seen with reluctance as method for solving planning-related problems, nowadays, due to increases computational power theoretical advances, its extensive modeling capabilities versatility are coming fore enjoy increased application ...

We introduce a new method for finding non-realizability certificate of simplicial sphere Σ. It enables us to prove the first time balanced 2-neighborly 3-sphere by Zheng, family highly neighborly centrally symmetric spheres Novik and several combinatorial prismatoids introduced Criado Santos. The method, implemented in polymake framework, uses integer programming find monomial combination class...