Searching for authors named Toby Walsh – sorted by Relevance.
-
2+p-COL
- 2+p-COL Toby Walsh Cork Constraint Computation Center University College Cork Cork Ireland tw@4c
- Add To MetaCart
-
The Constrainedness Knife-Edge
- The Constrainedness Knife-Edge Toby Walsh APES Group Department of Computer Science University
- Cited by 17 (2 self) – Add To MetaCart
-
Permutation Problems and Channelling Constraints
- Permutation Problems and Channelling Constraints Toby Walsh University of York, York, England
- Cited by 27 (1 self) – Add To MetaCart
-
Relational Consistencies
- Relational Consistencies Toby Walsh Department of Computer Science University of York York
- Cited by 2 (0 self) – Add To MetaCart
-
A Divergence Critic for Inductive Proof
- Divergence Critic for Inductive Proof Toby Walsh toby@(email omitted); IRST, Location Pant`e di Povo I38100 Trento
- Cited by 7 (0 self) – Add To MetaCart
-
Reformulating Propositional Satisfiability as Constraint Satisfaction
- Reformulating propositional satisfiability as constraint satisfaction Toby Walsh University
- Cited by 4 (0 self) – Add To MetaCart
-
Backbones in optimization and approximation
- Backbones in Optimization and Approximation Toby Walsh Department of Computer Science University
- Cited by 1 (0 self) – Add To MetaCart
-
Analogical Proof Planning
- Analogical Proof Planning Toby Walsh Department of Artificial Intelligence Edinburgh University
- Cited by 1 (0 self) – Add To MetaCart
-
Depth-bounded Discrepancy Search
- Depth-bounded Discrepancy Search Toby Walsh APES Group, Department of Computer Science
- Cited by 60 (1 self) – Add To MetaCart
-
Proof Planning in Maple
- Proof Planning in Maple Toby Walsh 1 University of York, York, England. tw@(email omitted); Abstract
- Cited by 2 (2 self) – Add To MetaCart

