( en | de | ru )

 

Disambiguation of "Bulatov, Andrei A."

Author of the publication

copydeleteadd this publication to your clipboard
Quantified Constraints: Algorithms and Complexity.

, , , and . CSL, volume 2803 of Lecture Notes in Computer Science, page 58-70. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dimitri Bulatov

Andrei Verbovsky

Andrei Munk

Andrei Belitski

Andrei Lehmann

 

Other publications of authors with the same name

Graphs of finite algebras, edges, and connectivity.. CoRR, (2016)Constraint satisfaction parameterized by solution size, and . CoRR, (2012)Inferring Attitude in Online Social Networks Based On Quadratic Correlation, and . CoRR, (2012)Conservative constraint satisfaction re-revisited.. CoRR, (2014)Affine Systems of Equations and Counting Infinitary Logic., , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 558-570. Springer, (2007)Phase Transition for Local Search on Planted SAT., and . MFCS (2), volume 9235 of Lecture Notes in Computer Science, page 175-186. Springer, (2015)Learnability of Relatively Quantified Generalized Formulas., , and . ALT, volume 3244 of Lecture Notes in Computer Science, page 365-379. Springer, (2004)Approximating Highly Satisfiable Random 2-SAT., and . SAT, volume 8561 of Lecture Notes in Computer Science, page 384-398. Springer, (2014)Counting Homomorphisms Modulo a Prime Number., and . MFCS, volume 138 of LIPIcs, page 59:1-59:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Satisfiability threshold for power law random 2-SAT in configuration model., and . Theor. Comput. Sci., (2021)