Verification of the Cigarette Smokers' Problem: a Viable Approach | IEEE Conference Publication | IEEE Xplore