https://cstheory-events.org/2024/02/29/dimacs-tutorial-on-fine-grained-complexity/