https://ideas.creativecasinoties.com/post/autoresearch-for-sat-solvers-azoo2b