Concepedia

Andrei Krokhin

AK

Statistics

Publications

35

Citations

1.7K

H-Index

20

Active since

1997

Affiliations

Durham University(Current)

University of Oxford

Linköping University

Universitat Pompeu Fabra

University of Warwick

Andrei Krokhin is an author at Durham University specializing in engineering, computational complexity, and combinatorial optimization.

Top concepts

EngineeringComputational ComplexityCombinatorial OptimizationComputer ScienceDiscrete MathematicsMathematical ProgrammingFormal MethodsAutomated ReasoningGraph TheorySatisfiability

Publications per year

1997–2023

35

Publications

35

Classifying the Complexity of Constraints Using Finite Algebras

Andreĭ A. Bulatov, Peter Jeavons, Andrei Krokhin · SIAM Journal on Computing · 2005 · 571 citations · Full text

Mathematical Programming, Algebraic Logic, Abstract Algebra +13

Reasoning about temporal relations

Andrei Krokhin, Peter Jeavons, Peter Jönsson · Journal of the ACM · 2003 · 136 citations · Full text

Engineering, Temporal Databases, Maximal Subalgebras +17

The complexity of soft constraint satisfaction

David A. Cohen, Martin Cooper, Peter Jeavons et al. · Artificial Intelligence · 2006 · 126 citations · Full text

Mathematical Programming, Constraint Solving, Engineering +9

The complexity of maximal constraint languages

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

Algebraic Approach to Promise Constraint Satisfaction

Libor Barto, Jakub Bulín, Andrei Krokhin et al. · Journal of the ACM · 2021 · 72 citations · Full text

1–5 of 35