Andrei Bulatov

Andrei A.Bulatov

Constraint Satisfaction and Related Problems

Algebraic and Logic Foundations of Constraint Problems
Complexity of Constraint Problems
Applications of Constraint Problems in Combinatorics
Counting constraint satsisfaction problems and partition functions

Satisfiability and Algorithms for Satisfiability

Random Satisfiability Problem
Analysis of Randomized Algorithms for SAT

Professor of Computing Science

email: abulatov@sfu.ca, phone: +1 778 782 6913, fax: +1 778 782 3045

Academic Degrees

Ph.D. 1995, Mathematics, Ural State University, Russia
M.Sc. (Diploma) 1991, Mathematics, Ural State University, Russia

Laboratory Affiliations

Algorithms & Theory Group, Computational Logic Laboratory

Professional Service

SFU crest Graduate Students

Funding and Awards

Selected Publications

Teaching

Back to Faculty Home Page