Phase polynomials synthesis algorithms for NISQ architectures and beyond