Satisfiability of Short Circuit Logic. - Sander in 't Veld (CoRR, 2015)