A Clause-Based Reduction from k-SAT to CLIQUE. - Thomas O'Neil (FCS, 2005)

The Representational Power of Conjunctive Normal Form. - Thomas O'Neil; Jason Smith (FCS, 2006)

The Importance of Symmetric Representation. - Thomas O'Neil (FCS, 2009)

A Simple O(2sqrt(x)) Algorithm for Partition and Subset Sum. - Thomas O'Neil; Scott Kerlin (FCS, 2010)

Empirical support for the high-density subset sum decision threshold. - Thomas O'Neil; Travis Desell (CWIT, 2015)

Representation-Independent Fixed Parameter Tractability for Vertex Cover and Weighted Monotone Satisfiability. - Thomas O'Neil (Electron. Colloquium Comput. Complex., 2015)

Complement, Complexity, and Symmetric Representation. - Thomas O'Neil (Int. J. Found. Comput. Sci., 2015)