Matthew Valeriote

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 5

Top Topics

Partial Assignment

Constraint Optimization

Conjunctive Queries

Answering Queries Using Views

Top Venues

Theory Comput. Syst.

J. Mach. Learn. Res.

Publications

William J. DeMeo, Ralph Freese, Matthew Valeriote
Polynomial-time Tests for Difference Terms in Idempotent Varieties. CoRR (2020)
William J. DeMeo, Ralph Freese, Matthew Valeriote
Polynomial-time tests for difference terms in idempotent varieties. Int. J. Algebra Comput. 29 (6) (2019)
Hubie Chen, Matthew Valeriote
Learnability of Solutions to Conjunctive Queries. J. Mach. Learn. Res. 20 (2019)
Hubie Chen, Matthew Valeriote, Yuichi Yoshida
Testing Assignments to Constraint Satisfaction Problems. FOCS (2016)
Hubie Chen, Matthew Valeriote, Yuichi Yoshida
Testing Assignments to Constraint Satisfaction Problems. CoRR (2016)
Hubie Chen, Matthew Valeriote
Learnability of Solutions to Conjunctive Queries: The Full Dichotomy. COLT (2015)
Matthew Valeriote
Algebras and Algorithms. ISMVL (2015)
Simone Bova, Hubie Chen, Matthew Valeriote
Generic expression hardness results for primitive positive formula comparison. Inf. Comput. 222 (2013)
Simone Bova, Hubie Chen, Matthew Valeriote
Generic Expression Hardness Results for Primitive Positive Formula Comparison CoRR (2012)
Simone Bova, Hubie Chen, Matthew Valeriote
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst. 50 (2) (2012)
Simone Bova, Hubie Chen, Matthew Valeriote
Generic Expression Hardness Results for Primitive Positive Formula Comparison. ICALP (2) (2011)
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and Learnability Arising from Algebras with Few Subpowers. SIAM J. Comput. 39 (7) (2010)
Pawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote
Definable principal congruences and solvability. Ann. Pure Appl. Log. 157 (1) (2009)
Benoît Larose, Matthew Valeriote, László Zádori
Omitting Types, Bounded Width and the Ability to Count. Int. J. Algebra Comput. 19 (5) (2009)
Matthew Valeriote, Simone Bova, Hubie Chen
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. The Constraint Satisfaction Problem: Complexity and Approximability (2009)
Ralph Freese, Matthew Valeriote
On the Complexity of Some Maltsev Conditions. Int. J. Algebra Comput. 19 (1) (2009)
Andrei A. Bulatov, Matthew Valeriote
Recent Results on the Algebraic Approach to the CSP. Complexity of Constraints (2008)
Emil W. Kiss, Matthew Valeriote
On tractability and congruence distributivity. Log. Methods Comput. Sci. 3 (2) (2007)
Emil W. Kiss, Matthew Valeriote
On tractability and congruence distributivity CoRR (2007)
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and learnability arising from algebras with few subpowers. LICS (2007)
Emil W. Kiss, Matthew Valeriote
On Tractability and Congruence Distributivity. LICS (2006)
Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote
A Geometric Consequence of Residual Smallness. Ann. Pure Appl. Log. 99 (1-3) (1999)
Matthew Valeriote
A Residually Small, Finitely Generated, Semi-Simple Variety which is not Residually Finite. Int. J. Algebra Comput. 6 (5) (1996)
Matthew Valeriote
On Solvable Congruences in Finitely Decidable Varieties. Math. Log. Q. 40 (1994)
Matthew Valeriote, Ross Willard
Some Properties of Finitely Decidable Varieties. Int. J. Algebra Comput. 2 (1) (1992)
Bradd Hart, Matthew Valeriote
A Structure Theorem for Strongly Abelian Varieties with Few Models. J. Symb. Log. 56 (3) (1991)
Stanley Burris, Ralph McKenzie, Matthew Valeriote
Decidable Discriminator Varieties from Unary Varieties. J. Symb. Log. 56 (4) (1991)