Author of the publication

On the Power of k -Consistency.

, , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 279-290. Springer, (2007)

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.

 

Other publications of authors with the same name

Inferring Attitude in Online Social Networks Based On Quadratic Correlation, and . CoRR, (2012)Conservative constraint satisfaction re-revisited.. CoRR, (2014)Graphs of finite algebras, edges, and connectivity.. CoRR, (2016)Constraint satisfaction parameterized by solution size, and . CoRR, (2012)Affine Systems of Equations and Counting Infinitary Logic., , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 558-570. Springer, (2007)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)Phase Transition for Local Search on Planted SAT., and . MFCS (2), volume 9235 of Lecture Notes in Computer Science, page 175-186. Springer, (2015)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)On the Complexity of CSP-based Ideal Membership Problems., and . CoRR, (2020)