Thomas O'Neil

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

2 Thomas O'Neil, Jason Smith: The Representational Power of Conjunctive Normal Form. FCS 2006: 175-181

2005

1 Thomas O'Neil: A Clause-Based Reduction from k-SAT to CLIQUE. FCS 2005: 17-23

2006
2		Thomas O'Neil, Jason Smith: The Representational Power of Conjunctive Normal Form. FCS 2006: 175-181
2005
1		Thomas O'Neil: A Clause-Based Reduction from k-SAT to CLIQUE. FCS 2005: 17-23

Coauthor Index

1 Jason Smith [2]