#### Filter Results:

- Full text PDF available (1)

#### Publication Year

2000

2016

- This year (0)
- Last 5 years (1)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- David A. Cohen, Peter Jeavons, Richard Gault
- Constraints
- 2000

The constraint satisfaction problem is known to be NP-hard in general, but a number of restrictions of the problem have been identified over the years which ensure tractability. This paper introduces two simple methods of combining two or more tractable classes over disjoint domains, in order to synthesise larger, more expressive tractable classes. We… (More)

- Richard Gault, Peter Jeavons
- Constraints
- 2004

The question of determining which sets of constraints give rise to NP-complete problems, and which give rise to tractable problems, is an important open problem in the theory of constraint satisfaction. It has been shown in previous papers that certain sufficient conditions for tractability and NP-completeness can be identified using algebraic properties of… (More)

- Richard Gault, Iain A. Stewart
- Theory of Computing Systems
- 2005

We define a class of program schemes RFDPS constructed around notions of forall-loops, repeat-loops, arrays and if-then-else instructions, and which take finite structures as inputs, and we examine the class of problems, denoted RFDPS also, accepted by such program schemes. The class of program schemes RFDPS is a logic, in Gurevich's sense, in that: every… (More)

- Richard Gault, T. Martin McGinnity, Sonya A. Coleman
- 2016 International Joint Conference on Neural…
- 2016

Tinnitus is the phantom perception of a sound heard in or around the head in the absence of an identifiable source affecting 10-15% worldwide. The majority of tinnitus sufferers have some form of hearing loss. The multiple pathologies that generate and sustain tinnitus in a diverse tinnitus population make it challenging to establish a homogeneous cohort… (More)

- Richard Gault, Iain A. Stewart
- Logic Journal of the IGPL
- 2001

- ‹
- 1
- ›