BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Barto:Libor

Contributed to:

LICS 20122012
STOC 20122012
LICS 20112011
LICS 20102010
STOC 20082008
CSL 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.