The proceedings of the 2015 and 2018 editions of Pragmatics of SAT workshops has just been published in Easychair Proceedings in Computing.