Richard Denman

According to our database, Richard Denman authored at least 1 paper in 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Using clausal graphs to determine the computational complexity of k-bounded positive one-in-three SAT.

Richard Denman, Stephen Foster

Discret. Appl. Math., 2009