Here are some FTP archives that carry files important for deduction. You may have to find the relevant subdirectories yourself.
For thechnical reports you can also use the UCSTRI Unified Computer Science Techreport
, on-line database for URLs of computer science technical reports.
University of Nancy
Constraint Programming archive
, which are mirrored at
this ftp site at SICS
-- a repository of mathematical software, data, documents, address lists, and other useful items.
This page comes to you courtesy of
Last updated 20 February 1996.