papers
Publications (4)
cs.AI2010
Local search for stable marriage problems
M. Gelain, M. S. Pini, F. Rossi +2
cs.AI2011
Dual Modelling of Permutation and Injection Problems
B. Hnich, B. M. Smith, T. Walsh
cs.AI1996
A Divergence Critic for Inductive Proof
T. Walsh
cs.AI1993
An Empirical Analysis of Search in GSAT
I. P. Gent, T. Walsh