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 × 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 DBLP: Bulatov:Andrei_A=

Contributed to:

SAT 20142014
CSL 20132013
ICALP (1) 20112011
LICS 20092009
ICALP (1) 20082008
ICALP 20072007
SAT 20062006
ICALP 20042004
LICS 20042004
CSL 20032003
LICS 20032003
STOC 20012001
ICALP 20002000

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.

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.