SMART designs are being used to study sequential treatments in depression, cancer, diabetes, and substance abuse, but their use is not yet widespread [66, 83-88].An ATS for smoking cessation among HIV + smokers has immediate clinical relevance given the following assumptions and constraints: (1) there is a pressing need to find the best treatments to maximize success, especially in high risk and h