Matt Valeriote

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 7

Top Topics

Finding Optimal Solutions

Arc Consistency

Constraint Satisfaction

Tractable Subclasses

Top Venues

Publications

Alexandr Kazda, Matt Valeriote
Deciding some Maltsev conditions in finite Idempotent Algebras. J. Symb. Log. 85 (2) (2020)
Libor Barto, Marcin Kozik, Johnson Tan, Matt Valeriote
Sensitive Instances of the Constraint Satisfaction Problem. ICALP (2020)
Libor Barto, Marcin Kozik, Johnson Tan, Matt Valeriote
Sensitive instances of the Constraint Satisfaction Problem. CoRR (2020)
Alexandr Kazda, Jakub Oprsal, Matt Valeriote, Dmitriy Zhuk
Deciding the existence of minority terms. CoRR (2019)
Hubie Chen, Matt Valeriote, Yuichi Yoshida
Constant-Query Testability of Assignments to Constraint Satisfaction Problems. SIAM J. Comput. 48 (3) (2019)
Ralph Freese, James B. Nation, Matt Valeriote
Testing for a Semilattice Term. Order 36 (1) (2019)
Alexandr Kazda, Matt Valeriote
Deciding some Maltsev conditions in finite idempotent algebras. CoRR (2017)