Bounding the number of odd paths in planar graphs via convex optimization | Synapse