`Travelled to:`

1 × Canada

1 × Greece

1 × Iceland

1 × Italy

1 × Poland

2 × Austria

2 × Finland

2 × Switzerland

2 × USA

`Collaborated with:`

∅ D.Marx P.Jeavons A.A.Krokhin V.Dalmau A.Atserias C.Wang E.S.Skvortsov M.Grohe M.Thurley A.Dawar F.Börner

`Talks about:`

constraint (8) complex (6) satisfact (5) problem (4) count (3) approxim (2) infinitari (1) parameter (1) algorithm (1) tractabl (1)

## Person: Andrei A. Bulatov

### DBLP: Bulatov:Andrei_A=

### Contributed to:

### Wrote 14 papers:

- SAT-2014-Bulatov0 #approximate #random #satisfiability
- Approximating Highly Satisfiable Random 2-SAT (AAB, CW), pp. 384–398.
- CSL-2013-BulatovDT #approximate #complexity
- Descriptive complexity of approximate counting CSPs (AAB, VD, MT), pp. 149–164.
- ICALP-v1-2011-BulatovM #constraints
- Constraint Satisfaction Parameterized by Solution Size (AAB, DM), pp. 424–436.
- LICS-2009-BulatovM #complexity #constraints
- The Complexity of Global Cardinality Constraints (AAB, DM), pp. 419–428.
- ICALP-A-2008-Bulatov #complexity #constraints #problem
- The Complexity of the Counting Constraint Satisfaction Problem (AAB), pp. 646–661.
- ICALP-2007-AtseriasBD #on the #power of
- On the Power of k -Consistency (AA, AAB, VD), pp. 279–290.
- ICALP-2007-AtseriasBD07a #equation #logic
- Affine Systems of Equations and Counting Infinitary Logic (AA, AAB, AD), pp. 558–570.
- SAT-2006-BulatovS #performance
- Efficiency of Local Search (AAB, ESS), pp. 297–310.
- ICALP-2004-BulatovG #complexity
- The Complexity of Partition Functions (AAB, MG), pp. 294–306.
- LICS-2004-Bulatov #constraints #graph #problem #relational
- A Graph of a Relational Structure and Constraint Satisfaction Problems (AAB), pp. 448–457.
- CSL-2003-BornerBJK #algorithm #complexity #constraints #quantifier
- Quantified Constraints: Algorithms and Complexity (FB, AAB, PJ, AAK), pp. 58–70.
- LICS-2003-Bulatov #constraints #problem
- Tractable conservative Constraint Satisfaction Problems (AAB), p. 321–?.
- 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.