Driver splix
The Samsung printer driver for cups is called splix.
After installing it and restarting cups you will find your printer when you add it in cups.