Romani, Shadab (2016) Succinct representations of Boolean functions and the Circuit-SAT problem. Masters thesis, Memorial University of Newfoundland.