---
categories: Logic
---

## Problems
- [Board Covering](https://open.kattis.com/problems/boardcovering)
- [Checks Post Facto](https://icpc.kattis.com/problems/checks)

## See also
- [2-SAT]()