Ross Willard

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 5

Top Topics

Constraint Programming

Pseudo Boolean Optimization

Backtracking Search

Arc Consistency

Top Venues

Ann. Pure Appl. Log.

Int. J. Algebra Comput.

Publications

Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
ω-categorical structures avoiding height 1 identities. CoRR (2020)
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). LICS (2019)
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems). CoRR (2019)
Brian A. Davey, Jane G. Pitkethly, Ross Willard
New-from-old full dualities via axiomatisation. Ann. Pure Appl. Log. 169 (7) (2018)
Ross Willard
Refuting Feder, Kinne and Rafiey. CoRR (2017)
Brian A. Davey, Jane G. Pitkethly, Ross Willard
The Lattice of Alter egos. Int. J. Algebra Comput. 22 (1) (2012)
Libor Barto, Marcin Kozik, Ross Willard
Near Unanimity Constraints Have Bounded Pathwidth Duality. LICS (2012)
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and Learnability Arising from Algebras with Few Subpowers. SIAM J. Comput. 39 (7) (2010)
Ross Willard
Testing Expressibility Is Hard. CP (2010)
Ross Willard
PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE. The Constraint Satisfaction Problem: Complexity and Approximability (2009)
George F. McNulty, Zoltán Székely, Ross Willard
Equational Complexity of the Finite Algebra Membership Problem. Int. J. Algebra Comput. 18 (8) (2008)
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and learnability arising from algebras with few subpowers. LICS (2007)
Ross Willard
Determining Whether V(A) Has a Model Companion is Undecidable. Int. J. Algebra Comput. 14 (3) (2004)
Ross Willard
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties. J. Symb. Log. 65 (1) (2000)
Keith A. Kearnes, Ross Willard
Finiteness Properties of Locally Finite Abelian Varieties. Int. J. Algebra Comput. 9 (2) (1999)
Ross Willard
Essential arities of term operations in finite algebras. Discret. Math. 149 (1-3) (1996)
Ross Willard
Hereditary Undecidability of Some Theories of Finite Structures. J. Symb. Log. 59 (4) (1994)
Matthew Valeriote, Ross Willard
Some Properties of Finitely Decidable Varieties. Int. J. Algebra Comput. 2 (1) (1992)
Michael H. Albert, Ross Willard
Injectives in Finitely Generated Universal Horn Classes. J. Symb. Log. 52 (3) (1987)