Thomas O'Neil

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

High Computational Complexity

Top Venues

Int. J. Found. Comput. Sci.

Electron. Colloquium Comput. Complex.

Publications

Thomas O'Neil
Complement, Complexity, and Symmetric Representation. Int. J. Found. Comput. Sci. 26 (5) (2015)
Thomas O'Neil
Representation-Independent Fixed Parameter Tractability for Vertex Cover and Weighted Monotone Satisfiability. Electron. Colloquium Comput. Complex. 22 (2015)
Thomas O'Neil, Travis Desell
Empirical support for the high-density subset sum decision threshold. CWIT (2015)
Thomas O'Neil, Scott Kerlin
) Algorithm for Partition and Subset Sum. FCS (2010)
Thomas O'Neil
The Importance of Symmetric Representation. FCS (2009)
Thomas O'Neil, Jason Smith
The Representational Power of Conjunctive Normal Form. FCS (2006)
Thomas O'Neil
A Clause-Based Reduction from k-SAT to CLIQUE. FCS (2005)