https://medium.com/@tech_future/enhancing-sat-solvers-a-novel-approach-for-optimizing-clause-reduction-and-variable-prioritization-4ede3aeb72f4
