`Travelled to:`

1 × Canada

1 × Czech Republic

1 × Denmark

1 × Germany

1 × United Kingdom

2 × Japan

2 × USA

`Collaborated with:`

F.R.Madelaine M.Bodirsky S.Bova J.Martin A.Mottet C.Carvalho P.Dapic P.Markovic M.Hils H.Chen

`Talks about:`

order (4) first (4) constraint (3) without (3) complex (3) posit (3) logic (3) equal (3) satisfact (2) problem (2)

## Person: Barnaby Martin

### DBLP: Martin:Barnaby

### Contributed to:

### Wrote 9 papers:

- CSL-2015-BovaM #finite #first-order #query
- First-Order Queries on Finite Abelian Groups (SB, BM), pp. 41–59.
- ICALP-v1-2015-BodirskyMM #constraints #integer #problem
- Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
- LICS-2015-CarvalhoMM #algebra #complexity
- From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP (CC, FRM, BM), pp. 462–474.
- ICALP-v1-2014-DapicMM #graph
- QCSP on Semicomplete Digraphs (PD, PM, BM), pp. 847–858.
- LICS-2011-MadelaineM #first-order #logic #similarity
- A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.
- CSL-2010-MartinM #complexity #first-order #logic #similarity
- The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.
- LICS-2010-BodirskyHM #algebra #approach #constraints #on the
- On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.
- LICS-2009-MadelaineM #complexity #first-order #logic #similarity
- The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.
- LICS-2008-ChenMM #constraints #problem #quantifier
- Quantified Constraints and Containment Problems (HC, FRM, BM), pp. 317–328.