2 Feb
2006
2 Feb
'06
2:20 p.m.
... read the JFP journal submission that Martin Sulzmann and Peter Stuckey and I have been working on. http://research.microsoft.com/%7Esimonpj/papers/fd-chr
Has this list discussed using CHRs instead of fundeps? Jim