---
categories: Logic
---

## Problems
- [Idol](http://2012.nwerc.eu/media/NWERC_2012_ProblemSet_FINAL.pdf) [^3]
- [Wedding](https://onlinejudge.org/external/112/p11294.pdf)
- [Manhattan](https://onlinejudge.org/external/103/p10319.pdf)
- [Birthday party](http://web.ics.upjs.sk/ceoi/documents/tasks/party-tsk.pdf) [^1]
- [Piece It Together](https://open.kattis.com/problems/pieceittogether) [^2]
- [Palindromic DNA](https://open.kattis.com/problems/palindromicdna) [^4]

## See also
- [Satisfiability]()

## External links
- [2-satisfiability](https://en.wikipedia.org/wiki/2-satisfiability)
- [2-SAT Tutorial](http://codeforces.com/blog/entry/16205)

[^1]: <http://web.ics.upjs.sk/ceoi/documents/tasks/party-sol.pdf>
[^2]: <http://archive.algo.is/icpc/nwerc/2011/nwerc2011-solutions.pdf>
[^3]: <http://2012.nwerc.eu/media/ProblemSet-presentation.pdf>
[^4]: <https://archive.algo.is/icpc/swerc/2010/SWERC-sols.pdf>