Apologies, you're quite right, they're using "transcranial alternating current stimulation" a.k.a. tACS during sleep. Now I'm at my desktop I can read the paper, and see that they applied direct current during task training (discovery of "hidden targets in static images") using the "StarStim R32 simultaneous EEG/Stimulation device", and their own tACS system during sleep.