ML Anthology

Bulatov, Andrei A.

3 publications

AAAI 2022 Analysis of Pure Literal Elimination Rule for Non-Uniform Random (MAX) K-SAT Problem with an Arbitrary Degree Distribution Oleksii Omelchenko, Andrei A. Bulatov
ALT 2004 Learnability of Relatively Quantified Generalized Formulas Andrei A. Bulatov, Hubie Chen, Víctor Dalmau
IJCAI 2003 Amalgams of Constraint Satisfaction Problems Andrei A. Bulatov, Evgeny S. Skvortsov