Concepedia

Andreǐ A. Bulatov

AA

14

Publications

1K

Citations

13

H-Index

1993

Active since

Affiliations

Simon Fraser University(Current)

University of Oxford

Andreǐ A. Bulatov is an author at Simon Fraser University specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningDiscrete MathematicsMathematical ProgrammingCombinatorial OptimizationComputer ScienceComputational ComplexityMechanism DesignFormal Verification

Publications per year

1993–2017

14

Publications

14

A dichotomy theorem for constraint satisfaction problems on a 3-element set

Andreǐ A. Bulatov · Journal of the ACM · 2006 · 368 citations

Mathematical Programming, Computational Complexity Theory, Engineering +21

A dichotomy theorem for constraints on a three-element set

Andreǐ A. Bulatov · 2003 · 166 citations

Mathematical Programming, Computational Complexity Theory, Engineering +17

The complexity of maximal constraint languages

Andreǐ A. Bulatov, Andrei Krokhin, Peter Jeavons · 2001 · 84 citations · Full text

Affine systems of equations and counting infinitary logic

Albert Atserias, Andreǐ A. Bulatov, Anuj Dawar · Theoretical Computer Science · 2009 · 76 citations

Algebraic Logic, Engineering, Automated Reasoning +4

Combinatorial problems raised from 2-semilattices

Andreǐ A. Bulatov · Journal of Algebra · 2006 · 53 citations · Full text

Mathematical Programming, Engineering, Combinatorial Design Theory +5

Rows per page

1–5 of 14