Matthew Valeriote

According to our database, Matthew Valeriote authored at least 25 papers between 1989 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Deciding some Maltsev conditions in finite Idempotent Algebras.

Alexandr Kazda, Matt Valeriote

J. Symb. Log., 2020

Sensitive Instances of the Constraint Satisfaction Problem.

Libor Barto, Marcin Kozik, Johnson Tan, Matt Valeriote

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Constant-Query Testability of Assignments to Constraint Satisfaction Problems.

Hubie Chen, Matt Valeriote, Yuichi Yoshida

SIAM J. Comput., 2019

Testing for a Semilattice Term.

Ralph Freese, James B. Nation, Matt Valeriote

Order, 2019

Learnability of Solutions to Conjunctive Queries.

Hubie Chen, Matthew Valeriote

J. Mach. Learn. Res., 2019

Polynomial-time tests for difference terms in idempotent varieties.

William J. DeMeo, Ralph Freese, Matthew Valeriote

Int. J. Algebra Comput., 2019

Deciding the existence of minority terms.

Alexandr Kazda, Jakub Oprsal, Matt Valeriote, Dmitriy Zhuk

CoRR, 2019

2016

Testing Assignments to Constraint Satisfaction Problems.

Hubie Chen, Matthew Valeriote, Yuichi Yoshida

Proceedings of the IEEE 57th Annual Symposium on Foundations of Computer Science, 2016

2015

Algebras and Algorithms.

Matthew Valeriote

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

Learnability of Solutions to Conjunctive Queries: The Full Dichotomy.

Hubie Chen, Matthew Valeriote

Proceedings of The 28th Conference on Learning Theory, 2015

2011

Generic Expression Hardness Results for Primitive Positive Formula Comparison.

Simone Bova, Hubie Chen, Matthew Valeriote

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009

Omitting Types, Bounded Width and the Ability to Count.

Benoît Larose, Matthew Valeriote, László Zádori

Int. J. Algebra Comput., 2009

On the Complexity of Some Maltsev Conditions.

Ralph Freese, Matthew Valeriote

Int. J. Algebra Comput., 2009

Definable principal congruences and solvability.

Pawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote

Ann. Pure Appl. Log., 2009

On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.

Matthew Valeriote, Simone Bova, Hubie Chen

Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 25.10., 2009

2008

Recent Results on the Algebraic Approach to the CSP.

Andrei A. Bulatov, Matthew Valeriote

Proceedings of the Complexity of Constraints, 2008

2007

Tractability and learnability arising from algebras with few subpowers.

Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006

On Tractability and Congruence Distributivity.

Emil W. Kiss, Matthew Valeriote

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

1999

A Geometric Consequence of Residual Smallness.

Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote

Ann. Pure Appl. Log., 1999

1996

A Residually Small, Finitely Generated, Semi-Simple Variety which is not Residually Finite.

Matthew Valeriote

Int. J. Algebra Comput., 1996

1994

On Solvable Congruences in Finitely Decidable Varieties.

Matthew Valeriote

Math. Log. Q., 1994

1992

Some Properties of Finitely Decidable Varieties.

Matthew Valeriote, Ross Willard

Int. J. Algebra Comput., 1992

1991

A Structure Theorem for Strongly Abelian Varieties with Few Models.

Bradd Hart, Matthew Valeriote

J. Symb. Log., 1991

Decidable Discriminator Varieties from Unary Varieties.

Stanley Burris, Ralph McKenzie, Matthew Valeriote

J. Symb. Log., 1991

1989

Structure of decidable locally finite varieties.

Ralph McKenzie, Matthew Valeriote

Progress in mathematics 79, Birkhäuser, ISBN: 978-3-7643-3439-0, 1989