Searching for authors named "Barnaby Martin" – sorted by Relevance.
-
Parameterized proof complexity: a complexity gap for parameterized tree-like resolution
- Dantchev ∗ , Barnaby Martin and Stefan Szeider Department of Computer Science Durham University, Durham
- Cited by 1 (1 self) – Add To MetaCart
-
Quantified Constraints and Containment Problems ∗
- @(email omitted); Barnaby Martin Department of Computer Science, University of Durham, Durham DH1 3LE, UK. b.d.martin
- Add To MetaCart

