Matthew Valeriote

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