Robust and centimeter-level Real-time Kinematic (RTK)-based Global Navigation Satellite System (GNSS) positioning is of paramount importance for emerging GNSS applications, such as drones and automobile systems. However, the performance of conventional single-rover RTK degrades greatly in urban environments due to signal blockage and strong multipath. The increasing use of multiple-antenna/rover configurations for attitude determination in the above precise positioning applications, just as well, allows more information involved to improve RTK positioning performance in urban areas. This paper proposes a dual-antenna constraint RTK algorithm, which combines GNSS measurements of both antennas by making use of the geometric constraint between them. By doing this, the reception diversity between two antennas can be taken advantage of to improve the availability and geometric distribution of GNSS satellites, and what is more, the redundant measurements from a second antenna help to weaken the multipath effect on the first antenna. Particularly, an Ambiguity Dilution of Precision (ADOP)-based analysis is carried out to explore the intrinsic model strength for ambiguity resolution (AR) with different kinds of constraints. Based on the results, a Dual-Antenna with baseline VEctor Constraint algorithm (RTK) is developed. The primary advantages of the reported method include: 1) Improved availability and success rate of RTK, even if neither of the two single-antenna receivers can successfully solve the AR problem; and 2) reduced computational burden by adopting the concept of measurement projection. Simulated and real data experiments are performed to demonstrate robustness and precision of the algorithm in GNSS-challenged environments.