Understanding how to attack DES via SAT for 3rd year Bsc project