In Android, if I go to Network Settings > Edit > Advanced, I have a Proxy dropdown witht he options None, Manual and Proxy Auto-config. You may have to change it manually for a current connection or forget your current connection.
I have not been able to determine whether it uses the DHCP or DNS method or both. Why not do both as a belt and braces solution?