Ross Willard

21 papers A* 3A 1Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Zhuk's bridges, centralizers, and similarity.
CoRR
Ross Willard
2020 J jnl
ω-categorical structures avoiding height 1 identities.
CoRR
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
2019 A* conf
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems).
LICS
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
2019 J jnl
Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems).
CoRR
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
2018 J jnl
New-from-old full dualities via axiomatisation.
Ann. Pure Appl. Log.
Brian A. Davey, Jane G. Pitkethly, Ross Willard
2017 — ch.
Polymorphisms, and How to Use Them.
The Constraint Satisfaction Problem
Libor Barto, Andrei A. Krokhin, Ross Willard
2017 J jnl
Refuting Feder, Kinne and Rafiey.
CoRR
Ross Willard
2012 A* conf
Near Unanimity Constraints Have Bounded Pathwidth Duality.
LICS
Libor Barto, Marcin Kozik, Ross Willard
2012 J jnl
The Lattice of Alter egos.
Int. J. Algebra Comput.
Brian A. Davey, Jane G. Pitkethly, Ross Willard
2010 A conf
Testing Expressibility Is Hard.
CP
Ross Willard
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 — conf
PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE.
The Constraint Satisfaction Problem: Complexity and Approximability
Ross Willard
2008 J jnl
Equational Complexity of the Finite Algebra Membership Problem.
Int. J. Algebra Comput.
George F. McNulty, Zoltán Székely, Ross Willard
2007 A* conf
Tractability and learnability arising from algebras with few subpowers.
LICS
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
2004 J jnl
Determining Whether V(A) Has a Model Companion is Undecidable.
Int. J. Algebra Comput.
Ross Willard
2000 J jnl
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties.
J. Symb. Log.
Ross Willard
1999 J jnl
Finiteness Properties of Locally Finite Abelian Varieties.
Int. J. Algebra Comput.
Keith A. Kearnes, Ross Willard
1996 J jnl
Essential arities of term operations in finite algebras.
Discret. Math.
Ross Willard
1994 J jnl
Hereditary Undecidability of Some Theories of Finite Structures.
J. Symb. Log.
Ross Willard
1992 J jnl
Some Properties of Finitely Decidable Varieties.
Int. J. Algebra Comput.
Matthew Valeriote, Ross Willard
1987 J jnl
Injectives in Finitely Generated Universal Horn Classes.
J. Symb. Log.
Michael H. Albert, Ross Willard