Quadratization of gray coded representations, long path problems and needle functions | Publicación