Matthew Valeriote - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2019

Learnability of Solutions to Conjunctive QueriesHubie Chen, Matthew Valeriote. jmlr, 20, 2019. [doi]

Polynomial-time tests for difference terms in idempotent varietiesWilliam Demeo, Ralph Freese, Matthew Valeriote. ijac, 29(6):927-949, 2019. [doi]

2016

Testing Assignments to Constraint Satisfaction ProblemsHubie Chen, Matthew Valeriote, Yuichi Yoshida. focs 2016: 525-534 [doi]

2015

Learnability of Solutions to Conjunctive Queries: The Full DichotomyHubie Chen, Matthew Valeriote. colt 2015: 326-337 [doi]

Algebras and AlgorithmsMatthew Valeriote. ismvl 2015: 1 [doi]

2013

Generic expression hardness results for primitive positive formula comparisonSimone Bova, Hubie Chen, Matthew Valeriote. iandc, 222:108-120, 2013. [doi]

2012

On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive FormulasSimone Bova, Hubie Chen, Matthew Valeriote. mst, 50(2):329-353, 2012. [doi]

2011

Generic Expression Hardness Results for Primitive Positive Formula ComparisonSimone Bova, Hubie Chen, Matthew Valeriote. icalp 2011: 344-355 [doi]

2010

Tractability and Learnability Arising from Algebras with Few SubpowersPawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard. SICOMP, 39(7):3023-3037, 2010. [doi]

2009

On the Complexity of Some Maltsev ConditionsRalph Freese, Matthew Valeriote. ijac, 19(1):41-77, 2009. [doi]

Definable principal congruences and solvabilityPawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote. APAL, 157(1):30-49, 2009. [doi]

On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive FormulasMatthew Valeriote, Simone Bova, Hubie Chen. Dagstuhl 2009: [doi]

2008

Recent Results on the Algebraic Approach to the CSPAndrei A. Bulatov, Matthew Valeriote. Dagstuhl 2008: 68-92 [doi]

2007

Tractability and learnability arising from algebras with few subpowersPawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard. lics 2007: 213-224 [doi]

On tractability and congruence distributivityEmil W. Kiss, Matthew Valeriote. lmcs, 3(2), 2007. [doi]

2006

On Tractability and Congruence DistributivityEmil W. Kiss, Matthew Valeriote. lics 2006: 221-230 [doi]

1999

A Geometric Consequence of Residual SmallnessKeith A. Kearnes, Emil W. Kiss, Matthew Valeriote. APAL, 99(1-3):137-169, 1999.

1996

A Residually Small, Finitely Generated, Semi-Simple Variety which is not Residually FiniteMatthew Valeriote. ijac, 6(5):563-570, 1996. [doi]

1994

On Solvable Congruences in Finitely Decidable VarietiesMatthew Valeriote. mlq, 40:398-414, 1994.

1992

Some Properties of Finitely Decidable VarietiesMatthew Valeriote, Ross Willard. ijac, 2(1):89-102, 1992. [doi]

1991

Decidable Discriminator Varieties from Unary VarietiesStanley Burris, Ralph McKenzie, Matthew Valeriote. JSYML, 56(4):1355-1368, 1991.

A Structure Theorem for Strongly Abelian Varieties with Few ModelsBradd Hart, Matthew Valeriote. JSYML, 56(3):832-852, 1991.

1989

Structure of decidable locally finite varietiesRalph McKenzie, Matthew Valeriote. Volume 79 of Progress in mathematics, Birkhäuser, 1989.

Sign in or sign up to see more results.

runs on WebDSL