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:
2015
2015
2015201420112010201020092008Wrote 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.