https://www.scinexx.de/news/technik/neuer-loesungsansatz-fuer-mathematische-sat-probleme/