1. Proofs
Topic 14: Pigeonhole Principle Dr J Frost ([email protected]) Last modified: 18th July 2013.
Solving Difficult SAT Instances Using Greedy Clique Decomposition Pavel Surynek [email protected] surynek Faculty of.