brycewang-stanford/awesome-journal-skills/international-conference-on-theory-and-applications-of-satisfiability-testingskill versions