We analyze the AdS 3 ×M 7 -type supersymmetric solutions, including nontrivial fluxes, of Killing spinor equations in heterotic supergravity. We classify these solutions using their Gstructures and intrinsic torsions, for the cases that the number of seven-dimensional Killing spinors N are equal to 1, 2, 3 and 4. We find that the solutions cannot have a nontrivial warp factor and the seven-dimensional manifold M 7 is characterized by G 2 (SU(3))-structures for the N = 1 (2) case and an SU(2)-structure for the N = 3 and 4 cases. They are further classified using their nontrivial intrinsic torsions. It is shown, including the leading-order α -corrections, that if we impose the Bianchi identities, the integrability conditions of the Killing spinor equations imply that all the field equations are satisfied.Subject Index: 111, 121, 122 §1. IntroductionIt is important to investigate the classical solutions of supergravity that preserve some supersymmetries. In particular, solutions including AdS-space are interesting from the viewpoint of the AdS/CFT correspondence. 1) They provide us with a deeper understanding of the dynamics of both gauge theory and gravity.In particular, the AdS 3 /CFT 2 correspondence in heterotic string theory has recently been studied, 2)-5) in which it was conjectured to exist as a CFT dual of a geometry describing a fundamental heterotic string. A mini-black-string solution 6), 7) was considerd in the five-dimensional heterotic supergravity, obtained by T 5 -compactification, with R 2 correction terms. 8) Without R 2 corrections, the solution has a zero horizon area and thus there is no room for the AdS-space to appear. However, once the corrections are included, the horizon is stretched 9) and its nearhorizon geometry becomes the AdS 3 -space. Unfortunately, however, such a miniblack-string solution is yet unknown in the ten-dimensional heterotic supergravity, which is required for more general compactifications. It is interesting, therefore, to study supersymmetric classical solutions in the form of AdS 3 × M 7 , admitting a warp factor in general, taking into account the R 2 corrections.In general, manifolds described by supersymmetric classical solutions with nontrivial fluxes are characterized by G-structure, which are generalizations of those with special holonomy. 10) As is well known, if we set all the fluxes to zero, supersymmetric solutions yield some special holonomy manifolds. However, if the fluxes * )