Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? (Logical Methods in Computer Science, 2018)