DSpace Repository

Browsing Faculty Scholarship by Author "Denman, Richard"

Browsing Faculty Scholarship by Author "Denman, Richard"

Sort by: Order: Results:

  • Anthony, Barbara M.; Denman, Richard (2009)
    The not all equal (NAE) 3-SAT problem is known to be NP-complete even in the absence of negated variables (see [11]), a variant known as positive (or monotone) NAE 3-SAT. In this article, we investigate a related category, ...
  • Marr, Alison; Denman, Richard; Anthony, Barbara M. (The Charles Babbage Research Centre, 2011-08)
    We investigate the existence of fixed point families for the eccentric digraph (ED) operator, which was introduced in [1]. In [2], the notion of the period ρ(G) of a digraph G (under the ED operator) was defined, and it ...
  • Denman, Richard; Foster, Stephen (2008)
    The 1-in-3 SAT problem is known to be NP-complete even in the absence of negated variables [1], a variant known as Positive (or Monotone) 1-in-3 SAT. In this note, we use clausal graphs to investigate a further restriction: ...

Search


Browse

My Account

Links