Ross Willard

According to our database, Ross Willard authored at least 19 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

ω-categorical structures avoiding height 1 identities.

Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard

CoRR, 2020

2019

Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems).

Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard

CoRR, 2019

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems).

Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

New-from-old full dualities via axiomatisation.

Brian A. Davey, Jane G. Pitkethly, Ross Willard

Ann. Pure Appl. Log., 2018

2017

Refuting Feder, Kinne and Rafiey.

Ross Willard

CoRR, 2017

Polymorphisms, and How to Use Them.

Libor Barto, Andrei A. Krokhin, Ross Willard

Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 2017

2012

The Lattice of Alter egos.

Brian A. Davey, Jane G. Pitkethly, Ross Willard

Int. J. Algebra Comput., 2012

Near Unanimity Constraints Have Bounded Pathwidth Duality.

Libor Barto, Marcin Kozik, Ross Willard

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2010

Tractability and Learnability Arising from Algebras with Few Subpowers.

Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard

SIAM J. Comput., 2010

Testing Expressibility Is Hard.

Ross Willard

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE.

Ross Willard

Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 25.10., 2009

2008

Equational Complexity of the Finite Algebra Membership Problem.

George F. McNulty, Zoltán Székely, Ross Willard

Int. J. Algebra Comput., 2008

2004

Determining Whether V(A) Has a Model Companion is Undecidable.

Ross Willard

Int. J. Algebra Comput., 2004

2000

A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties.

Ross Willard

J. Symb. Log., 2000

1999

Finiteness Properties of Locally Finite Abelian Varieties.

Keith A. Kearnes, Ross Willard

Int. J. Algebra Comput., 1999

1996

Essential arities of term operations in finite algebras.

Ross Willard

Discret. Math., 1996

1994

Hereditary Undecidability of Some Theories of Finite Structures.

Ross Willard

J. Symb. Log., 1994

1992

Some Properties of Finitely Decidable Varieties.

Matthew Valeriote, Ross Willard

Int. J. Algebra Comput., 1992

1987

Injectives in Finitely Generated Universal Horn Classes.

Michael H. Albert, Ross Willard

J. Symb. Log., 1987