This volume contains the papers presented at POS-14: Fifth Pragmatics of SAT workshop held on July 12, 2014 in Vienna.
