pith. sign in

Barnaby Martin

Identifiers

  • name variant Barnaby Martin 0.60 · backfill

Papers (33)

  1. $O(n +f(k))$: Truly Linear FPT cs.CC · 2026 · author #8
  2. On Detecting $H$-Induced Minors for Small $H$ math.CO · 2026 · author #2
  3. The complete classification for quantified equality constraints cs.CC · 2021 · author #2
  4. Resolution and the binary encoding of combinatorial principles cs.CC · 2018 · author #3
  5. The complexity of disjunctive linear Diophantine constraints cs.CC · 2018 · author #2
  6. Classification transfer for qualitative reasoning problems cs.LO · 2018 · author #1
  7. Disconnected Cuts in Claw-free Graphs cs.DS · 2018 · author #1
  8. Surjective H-Colouring over Reflexive Digraphs cs.CC · 2017 · author #2
  9. The complexity of quantified constraints using the algebraic formulation cs.LO · 2017 · author #2
  10. On the Chen Conjecture regarding the complexity of QCSPs cs.LO · 2016 · author #1
  11. Switchability and collapsibility of Gap Algebras cs.LO · 2015 · author #1
  12. The packing chromatic number of the infinite square lattice is between 13 and 15 cs.DM · 2015 · author #1
  13. Constraint Satisfaction Problems around Skolem Arithmetic cs.CC · 2015 · author #3
  14. Discrete Temporal Constraint Satisfaction Problems math.LO · 2015 · author #2
  15. From complexity to algebra and back: digraph classes, collapsibility and the PGP cs.CC · 2015 · author #3
  16. Constraint Satisfaction with Counting Quantifiers 2 cs.LO · 2013 · author #1
  17. Relativisation makes contradictions harder for Resolution cs.LO · 2013 · author #2
  18. QCSP on partially reflexive cycles - the wavy line of tractability cs.CC · 2013 · author #2
  19. On the complexity of the model checking problem cs.LO · 2012 · author #2
  20. Containment, Equivalence and Coreness from CSP to QCSP and beyond cs.LO · 2012 · author #2
  21. Parameterized Resolution with bounded conjunction cs.LO · 2012 · author #2
  22. Finding vertex-surjective graph homomorphisms cs.DM · 2012 · author #3
  23. Parameterized Proof Complexity and W[1] cs.LO · 2012 · author #1
  24. Constraint Satisfaction with Counting Quantifiers cs.CC · 2011 · author #2
  25. The Complexity of Surjective Homomorphism Problems -- a Survey cs.CC · 2011 · author #3
  26. The Computational Complexity of Disconnected Cut and 2K2-Partition cs.CC · 2011 · author #1
  27. QCSP on partially reflexive forests cs.CC · 2011 · author #1
  28. Low-level dichotomy for Quantified Constraint Satisfaction Problems cs.CC · 2011 · author #1
  29. Distance Constraint Satisfaction Problems cs.CC · 2010 · author #3
  30. The complexity of positive first-order logic without equality cs.LO · 2010 · author #2
  31. Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three cs.CC · 2008 · author #1
  32. On the Complexity of a Derivative Chess Problem cs.CC · 2007 · author #1
  33. Dichotomies and Duality in First-order Model Checking Problems cs.LO · 2006 · author #1

Mentions

  • 1504.04181 #3 · backfill · confidence 0.70 Barnaby Martin
  • 1503.08572 #2 · backfill · confidence 0.70 Barnaby Martin
  • 1501.04558 #3 · backfill · confidence 0.70 Barnaby Martin
  • 2606.02492 #8 · arxiv_oai · confidence 0.70 Barnaby Martin
  • 1312.7605 #1 · backfill · confidence 0.70 Barnaby Martin
  • 1304.4287 #2 · backfill · confidence 0.70 Barnaby Martin
  • 1303.0041 #2 · backfill · confidence 0.70 Barnaby Martin
  • 1210.6893 #2 · backfill · confidence 0.70 Barnaby Martin
  • 1204.5981 #2 · backfill · confidence 0.70 Barnaby Martin
  • 1204.2983 #2 · backfill · confidence 0.70 Barnaby Martin
  • 1204.2124 #3 · backfill · confidence 0.70 Barnaby Martin
  • 1203.5323 #1 · backfill · confidence 0.70 Barnaby Martin
  • 1112.2974 #2 · backfill · confidence 0.70 Barnaby Martin
  • 2104.00406 #2 · arxiv_oai · confidence 0.70 Barnaby Martin
  • 1104.5257 #3 · backfill · confidence 0.70 Barnaby Martin
  • 1104.4779 #1 · backfill · confidence 0.70 Barnaby Martin
  • 1103.6212 #1 · backfill · confidence 0.70 Barnaby Martin
  • 1102.3463 #1 · backfill · confidence 0.70 Barnaby Martin
  • 1004.3842 #3 · backfill · confidence 0.70 Barnaby Martin
  • 1003.0802 #2 · backfill · confidence 0.70 Barnaby Martin
  • 0808.0647 #1 · backfill · confidence 0.70 Barnaby Martin

Frequent Coauthors