`Travelled to:`

1 × Croatia

1 × USA

1 × United Kingdom

2 × Canada

`Collaborated with:`

M.Kozik ∅ R.Willard T.Niven

`Talks about:`

constraint (4) problem (4) satisfact (3) polymorph (1) pathwidth (1) homomorph (1) dichotomi (1) varieti (1) satisfi (1) revisit (1)

## Person: Libor Barto

### DBLP: Barto:Libor

### Contributed to:

### Wrote 6 papers:

- LICS-2012-BartoKW #bound #constraints
- Near Unanimity Constraints Have Bounded Pathwidth Duality (LB, MK, RW), pp. 125–134.
- STOC-2012-BartoK #constraints #problem #robust #satisfiability
- Robust satisfiability of constraint satisfaction problems (LB, MK), pp. 931–940.
- LICS-2011-Barto #constraints #problem #revisited
- The Dichotomy for Conservative Constraint Satisfaction Problems Revisited (LB), pp. 301–310.
- LICS-2010-BartoK #csp
- New Conditions for Taylor Varieties and CSP (LB, MK), pp. 100–109.
- STOC-2008-BartoKN #complexity #graph #morphism #problem
- Graphs, polymorphisms and the complexity of homomorphism problems (LB, MK, TN), pp. 789–796.
- CSL-2016-Barto #constraints #infinity #problem
- Infinite Domain Constraint Satisfaction Problem (LB), p. 1.