( en | de | ru )

 

Disambiguation of "Valeriote, Matthew"

Author of the publication

copydeleteadd this publication to your clipboard
Testing Assignments to Constraint Satisfaction Problems.

, , and . FOCS, page 525-534. IEEE Computer Society, (2016)

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.

Matthew Mellon

Matthew David

Matthew Smith

Olumuyiwa Matthew

Matthew Grum

 

Other publications of authors with the same name

Some Properties of Finitely Decidable Varieties., and . Int. J. Algebra Comput., 2 (1): 89-102 (1992)A Residually Small, Finitely Generated, Semi-Simple Variety which is not Residually Finite.. Int. J. Algebra Comput., 6 (5): 563-570 (1996)On tractability and congruence distributivity., and . Log. Methods Comput. Sci., (2007)Recent Results on the Algebraic Approach to the CSP., and . Complexity of Constraints, volume 5250 of Lecture Notes in Computer Science, page 68-92. Springer, (2008)On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas., , and . Theory Comput. Syst., 50 (2): 329-353 (2012)Testing Assignments to Constraint Satisfaction Problems., , and . FOCS, page 525-534. IEEE Computer Society, (2016)On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas., , and . The Constraint Satisfaction Problem: Complexity and Approximability, volume 09441 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)On Solvable Congruences in Finitely Decidable Varieties.. Math. Log. Q., (1994)Polynomial-time Tests for Difference Terms in Idempotent Varieties., , and . CoRR, (2020)Algebras and Algorithms.. ISMVL, page 1. IEEE Computer Society, (2015)