Bulatov, Andrei
Professor, School of Computing Science
Contact:
| Tel: 778.782.6913 |
|
| Email: abulatov@cs.sfu.ca |
|
| Office: TASC1 8013 |
|
| Web: www.cs.sfu.ca/~abulatov/ | |
Education
Ph.D., Mathematics, Ural State University, Russia, 1995
M.Sc., Mathematics, Ural State University, Russia, 1991
Research interests
- Constraint problems
- Computational complexity
- Combinatorics
- Clone theory and universal algebra
Teaching interests
- Algorithms and complexity
- Discrete mathematics
Recently taught courses
- CMPT 307 Data Structures and Algorithms
- CMPT 405 Design and Analysis of Computing Algorithms
- CMPT 705 Design and Analysis of Algorithms
- MACM 101 Discrete Mathematics
Selected recent publications
- (with D.Marx) Constraint satisfaction parameterized by solution size, In ICALP 2011, 424-436
- Complexity of Conservative Constraint Satisfaction Problems, ACM Trans. on Compitational Logic, 12(4), 2011
- (with D. Marx) Constraint satisfaction problems and global cardinality constraints. Commun. ACM 53(9): 99-106 (2010)
- (with Albert Atserias and Anuj Dawar) Affine systems of equations and counting infinitary logic, Theor. Comput. Sci. 410(18), 2009, pp. 1666-1683
- The Complexity of the Counting Constraint Satisfaction Problem. ICALP (1) 2008: 646-661
For more information visit www.cs.sfu.ca/~abulatov/publications.html.
Listing on the DBLP CS Bibliography Server.