--- categories: Logic --- ## Problems - [Board Covering](https://open.kattis.com/problems/boardcovering) - [Checks Post Facto](https://icpc.kattis.com/problems/checks) ## See also - [2-SAT]()