Tutorials #
- 🇯🇵 [Acompany]競プロ勉強会/240813_SCC・2-SAT
- 🇯🇵 (magurofly) 2-SATを解く
- 🇬🇧 2-SAT - Algorithms for Competitive Programming
Research Papers #
- Aspvall, Bengt, Michael F. Plass, and Robert Endre Tarjan. "A linear-time algorithm for testing the truth of certain quantified boolean formulas." Information processing letters 8.3 (1979): 121-123.
Other Resources #
- 🇯🇵 (noshi91) 2-SAT のアルゴリズムの証明 - noshi91のメモ