Search

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

k-Bounded Positive Not All Equal LE3-SAT

Anthony, Barbara M.; Denman, Richard (2009)
Using Clausal Graphs to Determine the Computational Complexity of k-Bounded Positive 1-in-3 SAT

Denman, Richard; Foster, Stephen (2008)
Some Families of Fixed Points for the Eccentric Digraph Operator

Marr, Alison; Denman, Richard; Anthony, Barbara M. (The Charles Babbage Research Centre, 2011-08)
Conditions for the Bicolorability of Primitive Hypergraphs

Anthony, Barbara M.; Denman, Richard (The Charles Babbage Research Centre, 2015-08)

Now showing items 1-4 of 4