Theoretical Study of the Frustrated Ising Antiferromagnet on the Honeycomb Lattice