Travelled to:1 × Austria
1 × Canada
1 × Czech Republic
1 × Finland
1 × Greece
1 × Iceland
1 × Switzerland
1 × USA
Collaborated with:∅ A.A.Bulatov P.Jeavons V.Dalmau D.Marx C.Carvalho B.Larose F.Börner
Talks about:constraint (5) satisfact (3) problem (3) complex (3) dualiti (2) order (2) first (2) caterpillar (1) algorithm (1) structur (1)
Person: Andrei A. Krokhin
DBLP: Krokhin:Andrei_A=
Contributed to:
2011
2010
2008200820042003
20012000Wrote 8 papers:
- LICS-2011-Krokhin #complexity #first-order
- The Complexity of Evaluating First-Order Sentences over a Fixed Structure (AAK), p. 331.
- CSL-2010-Krokhin #constraints
- Tree Dualities for Constraint Satisfaction (AAK), pp. 32–33.
- ICALP-A-2008-KrokhinM #on the
- On the Hardness of Losing Weight (AAK, DM), pp. 662–673.
- LICS-2008-CarvalhoDK #constraints #problem
- Caterpillar Duality for Constraint Satisfaction Problems (CC, VD, AAK), pp. 307–316.
- LICS-2004-DalmauKL #first-order #graph #problem #reflexive
- First-Order Definable Retraction Problems for Posets and Reflexive Graph (VD, AAK, BL), pp. 232–241.
- CSL-2003-BornerBJK #algorithm #complexity #constraints #quantifier
- Quantified Constraints: Algorithms and Complexity (FB, AAB, PJ, AAK), pp. 58–70.
- STOC-2001-BulatovKJ #complexity #constraints
- The complexity of maximal constraint languages (AAB, AAK, PJ), pp. 667–674.
- ICALP-2000-BulatovKJ #algebra #constraints #finite #problem
- Constraint Satisfaction Problems and Finite Algebras (AAB, AAK, PJ), pp. 272–282.