 | 2012 |
|---|
| 11 |       | Libor Barto,
Marcin Kozik:
Robust satisfiability of constraint satisfaction problems.
STOC 2012: 931-940 |
| 10 | | Libor Barto,
Marcin Kozik:
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
Logical Methods in Computer Science 8(1): (2012) |
| 2011 |
|---|
| 9 | | Libor Barto:
The Dichotomy for Conservative Constraint Satisfaction Problems Revisited.
LICS 2011: 301-310 |
| 8 | | Libor Barto,
Marcin Kozik:
Robust Satisfiability of Constraint Satisfaction Problems.
Electronic Colloquium on Computational Complexity (ECCC) 18: 163 (2011) |
| 2010 |
|---|
| 7 | | Libor Barto,
Marcin Kozik:
New Conditions for Taylor Varieties and CSP.
LICS 2010: 100-109 |
| 2009 |
|---|
| 6 | | Libor Barto,
Marcin Kozik:
Constraint Satisfaction Problems of Bounded Width.
FOCS 2009: 595-603 |
| 5 | | Libor Barto:
Slices of Essentially Algebraic Categories.
Applied Categorical Structures 17(2): 119-152 (2009) |
| 4 | | Libor Barto,
Marcin Kozik,
Todd Niven:
The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell).
SIAM J. Comput. 38(5): 1782-1802 (2009) |
| 3 | | Libor Barto,
Marcin Kozik:
Congruence Distributivity Implies Bounded Width.
SIAM J. Comput. 39(4): 1531-1542 (2009) |
| 2008 |
|---|
| 2 | | Libor Barto,
Marcin Kozik,
Todd Niven:
Graphs, polymorphisms and the complexity of homomorphism problems.
STOC 2008: 789-796 |
| 2005 |
|---|
| 1 | | Libor Barto:
Weakly Terminal Objects in Quasicategories of SET Endofunctors.
Applied Categorical Structures 13(3): 257-264 (2005) |
Data released under the ODC-BY 1.0 license — See also our legal information page