home *** CD-ROM | disk | FTP | other *** search
/ ftp.pasteur.org/FAQ/ / ftp-pasteur-org-FAQ.zip / FAQ / constraints-faq / part1
Encoding:
Internet Message Format  |  2004-04-18  |  27.3 KB

  1. Path: senator-bedfellow.mit.edu!dreaderd!not-for-mail
  2. Message-ID: <constraints-faq/part1_1082200966@rtfm.mit.edu>
  3. Supersedes: <constraints-faq/part1_1079601013@rtfm.mit.edu>
  4. Expires: 31 May 2004 11:22:46 GMT
  5. X-Last-Updated: 1999/11/23
  6. Organization: none
  7. From: pse@cs.unh.edu
  8. Newsgroups: comp.constraints,comp.answers,news.answers
  9. Followup-To: comp.constraints
  10. Subject: comp.constraints FAQ (Part 1 of 1) 
  11. Approved: news-answers-request@MIT.EDU
  12. Originator: faqserv@penguin-lust.MIT.EDU
  13. Date: 17 Apr 2004 11:23:51 GMT
  14. Lines: 724
  15. NNTP-Posting-Host: penguin-lust.mit.edu
  16. X-Trace: 1082201031 senator-bedfellow.mit.edu 576 18.181.0.29
  17. Xref: senator-bedfellow.mit.edu comp.constraints:3614 comp.answers:56843 news.answers:269642
  18.  
  19. Archive-name: constraints-faq/part1
  20. Summary: Frequently asked questions about constraints
  21. Posting-Frequency: monthly
  22. URL: http://www.cs.unh.edu/ccc/archive/
  23. Version: 1999.11.23
  24.  
  25. Contributions and corrections should be sent to:
  26.     <pse@cs.unh.edu>
  27.  
  28. This is a list of Frequently Asked Questions (and answers) for the
  29. area of constraints, including books, journal articles, ftp archives,
  30. and systems & products. It is posted once a month to the newsgroups
  31. comp.constraints, comp.answers, and news.answers.
  32.  
  33. NOTE: the Constraints Archive web pages contain far more information
  34. than the FAQ, including pointers to other web pages and ftp sites: 
  35. http://www.cs.unh.edu/ccc/archive/
  36.  
  37. This guide is regularly posted to comp.constraints.  It may also be
  38. obtained from the WWW pages, and from the archive on rtfm.mit.edu in
  39. the directory /pub/usenet/news.answers/constraints-faq.  You can 
  40. access the rtfm archive by mail server as well.  Send an e-mail 
  41. essage to mail-server@rtfm.mit.edu with "help" and "index" in the
  42. body on separate lines for more information.
  43.  
  44. This FAQ is Copyright Peggy Eaton, 1996, 1997, 1998, 1999.  
  45.  
  46. Contributors to this FAQ include Michael Jampel <jampel@cs.city.ac.uk>,
  47. who was the original author and maintainer, and: Philippe Blache
  48. <pb@llaor.unice.fr>, Mark Kantrowitz <mkant@cs.cmu.edu>, Wm Leler
  49. <wm@concentric.net>, Manfred Meyer <meyer@dfki.uni-kl.de>, Milind
  50. Tambe <tambe@isi.edu>, Thomas Schiex <schiex@cert.fr>, and Tad Hogg
  51. <hogg@parc.xerox.com>, David Joslin <dj@i2.com>.  
  52.  
  53. ----------------------------------------------------------------
  54. Table of Contents:
  55.    [1-01] Introductory materials
  56.    [1-02] Other related FAQs
  57.    [1-03] Acronyms
  58.    [1-04] Publications
  59.    [1-05] Bibliographies
  60.    [1-06] Journals
  61.    [1-07] Mailing lists
  62.    [1-08] Newsgroups
  63.    [1-09] Benchmarks and examples
  64.    [1-10] Constraint libraries for Lisp and C
  65.    [1-11] Constraint systems
  66.  
  67. Search for [#] to get to topic number # quickly. In newsreaders which
  68. support digests (such as rn), [CTRL]-G will page through the answers.
  69.  
  70. ----------------------------------------------------------------
  71.  
  72. Subject: [1-01] Introductory materials
  73.  
  74. Roman Bartak has an On-line Guide to Constraint Programming
  75. <http://kti.ms.mff.cuni.cz/~bartak/constraints/>
  76.  
  77. V. Kumar, "Algorithms for Constraint-Satisfaction Problems: A Survey,"
  78. AI Magazine 13(1):32-44, 1992.  (A postscript version
  79. <http://www.cs.unh.edu/ccc/archive/constraints/archive/kumar.ps> is
  80. available.  It differs slightly from the published version.)
  81.  
  82. David McAllester's lecture notes on constraint satisfaction search
  83. <http://www.cs.unh.edu/ccc/archive/constraints/archive/dmac.ps>
  84. [postscript].
  85.  
  86. Constraint Logic Programming
  87. <http://www.cs.unh.edu/ccc/archive/constraints/archive/byte.html> by Dick
  88. Pountain. 
  89. Reproduced with permission from BYTE  <http://www.byte.com/> magazine,
  90. February 1995; converted to html by Michael Jampel.  (BYTE has now put
  91. their version  <http://www.byte.com/art/9502/sec13/art3.htm>
  92. of the article on the web.)
  93.  
  94. E. Tsang <edward@essex.ac.uk>, "Foundations of Constraint
  95. Satisfaction", Academic Press, 1993.  ISBN 0-12-701610-4.  
  96. (Out of print, but available from the author
  97. <http://cswww.essex.ac.uk/CSP/edward/FCS.html>.)
  98.  
  99. Also see the articles on Constraint Networks (pages 276-285) and
  100. Constraint Satisfaction (pages 285-293) in Shapiro's Encyclopedia of
  101. Artificial Intelligence.
  102.  
  103. ----------------------------------------------------------------
  104.  
  105. Subject: [1-02] Other related FAQs
  106.  
  107. Many FAQs are posted to the news.answers newsgroup, and, if
  108. appropriate, to comp.answers and other groups.  These FAQs are archived
  109. at <ftp://rtfm.mit.edu/pub/usenet/>.  For example, the comp.constraints
  110. FAQs are in the <ftp://rtfm.mit.edu/pub/usenet/comp.constraints/>
  111. directory.
  112.  
  113. These FAQs are also automatically converted to HTML (in most cases,
  114. this just means that URLs are converted to hot links), and archived in
  115. various places such as the News.Answers Faqs Archive
  116. <http://www.cs.ruu.nl/cgi-bin/faqwais> at Utrecht; for example, the
  117. comp.constraints FAQ
  118. <http://www.cs.ruu.nl/wais/html/na-bng/comp.constraints.html>,
  119. converted to HTML format, can be found there.  You can also search the
  120. collection of FAQs.  Also see Smartpages
  121. <http://www.smartpages.com/bngfaqs/top.html> and the Ohio State
  122. archives
  123. <http://www.cis.ohio-state.edu/hypertext/faq/usenet/FAQ-List.html>
  124. maintained by Tom Fine, Infoseek <http://guide.infoseek.com/> (one of
  125. the search options is "Usenet FAQs"), and Kent Landfield's archive
  126. <http://www.landfield.com/faqs/>.
  127.  
  128. Here are the FAQs for comp.ai
  129. <http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/ai_general/top.html>,
  130. for AI in general
  131. <http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/top.html>, for AI
  132. programming languages
  133. <http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/top.html> and for
  134. comp.lang.prolog
  135. <http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/top.html>
  136. (with some information on CLP).
  137.  
  138. The sci.op-research newsgroup has FAQs for linear and non-linear
  139. programming <http://www.mcs.anl.gov/home/otc/Guide/faq/> These can be
  140. found in ascii format, along with an index of resources for numerical
  141. computation in C or C++ (including some for linear and non-linear
  142. programming), in <ftp://rtfm.mit.edu/pub/usenet/sci.op-research/>.
  143.  
  144.  
  145. ----------------------------------------------------------------
  146.  
  147. Subject: [1-3] Acronyms
  148.  
  149. This section explains what various acronyms stand for, without much
  150. detail on any of them.  You can also use the search facility
  151. <http://www.cs.unh.edu/ccc/archive/constraints/search.html> of the constraints
  152. archive to find web pages on which a term occurs.
  153.  
  154. (*) Denotes techniques/heuristics for improving the efficiency of
  155. constraint satisfaction
  156.  
  157. AC -- Arc-Consistency: a method for reducing the amount of back-tracking
  158.    in CSPs
  159. AC-n -- Different algorithms for enforcing arc consistency: AC-3, AC-4
  160.    (Mackworth), AC-5 (van Hentenryck), AC-6+, AC6++ (Bessiere and Regin),
  161.    AC-7 (Freuder). Also Hierarchical AC: HAC (Mackworth) and HAC-6
  162.    (Kokeny)
  163. AKL -- Agent Kernel Language: object-oriented concurrent constraints
  164.    (previously called Andorra Kernel Language)
  165. ATMS -- Assumption-Based Truth-Maintenance System
  166. BJ -- Backjumping (*)
  167. BM -- Backmarking (*)
  168. BMJ -- Backmarking with backjumping (*)
  169. CBJ -- Conflict-Directed Back-Jumping (*)
  170. CC(FD) -- Concurrent Constraint Programming over Finite Domains
  171. CCP -- Concurrent Constraint Programming
  172. CDI --   Context Dependent Interchangeability
  173. CHR -- Constraint Handling Rules (Fruehwirth)
  174. CIP -- Constraint Imperative Programming
  175. CLP(FD) -- Constraint Logic Programming over finite domains
  176. CLP(R) -- Constraint Logic Programming over the domain of Real numbers
  177. CLP(X) -- Constraint Logic Programming over some domain X
  178. CLP -- Constraint Logic Programming
  179. CNG --  Complete No-Good
  180. COP -- Constrained Optimization Problem
  181. CSP -- Constraint Satisfaction Problem
  182. DB -- Dynamic Backtracking (*)
  183. DBT -- Dynamic backtracking
  184. DCSP -- Dynamic CSP
  185. DVO -- Dynamic Variable Ordering heuristic (*)
  186. DnAC -- Dynamic arc-consistency
  187. FC -- Forward-checking (*)
  188. FF -- First Fail principle: choose the variable with the smallest
  189.       domain as the next instantiation (*)
  190. FI --   full interchangeability
  191. FLA -- Full Look Ahead
  192. FOF -- Factor Out Failure
  193. FSL -- Full Shallow learning (*)
  194. GBJ -- Graph based Backjumping (*)
  195. HAC -- Hierarchical Arc Consistency. See AC-n.
  196. HCLP -- Hierarchical CLP
  197. IB -- Intelligent Backtracking (*)
  198. IDA* -- Iterative Deepening A*
  199. ILP -- Integer Linear Programming
  200. IP -- Integer Programming
  201. LC -- Local changes
  202. LP -- Logic Programming or Linear Programming
  203. MAC -- Maintaining Arc-Consistency
  204. MNG --  Minimal No-Good
  205. NC -- Node consistency (see AC). Not much used
  206. NG --   No-Good
  207. NI --   neighborhood interchangeability
  208. NLP -- Non-Linear Programming. (Natural Language Processing elsewhere)
  209. NPI --  neighborhood partial interchangeability
  210. NR -- Nogood recording (*)
  211. NSUB --  Neighborhood Substitutability
  212. OR -- Operations Research. see newsgroup sci.op-research
  213. PC -- Path-Consistency. Not much used
  214. PCSP -- Partial CSP
  215. PI --   partial interchangeability
  216. PLA -- Partial Look Ahead
  217. RFLA -- Real Full Look Ahead
  218. SAT -- The problem of deciding if a given logical formula is SATisfiable.
  219. SUB --  Substitutability
  220. TMS -- Truth-Maintenance System
  221. TSP -- Travelling Salesman Problem; a typical very hard problem
  222. VAD --  value assignment delay (*)
  223.  
  224. (Thanks to Michael Jampel, Patrick Prosser, Thomas Schiex, Berthe
  225. Choueiry, Alan Borning, Warwick Harvey, Thom Fruehwirth. Please inform
  226. me of additions.)
  227.  
  228. ----------------------------------------------------------------
  229.  
  230. Subject: [1-4] Publications
  231.  
  232. This page contains pointers to various constraints-related books,
  233. articles, reviews, etc., as well as pointers to sites that have
  234. collections of constraint-related publications.
  235.  
  236. Books and articles
  237. ================================================================
  238.  
  239. Objects for Concurrent Constraint Programming
  240. <http://www.wkap.nl/book.htm/0-7923-8038-X> by Martin Henz, National
  241. University of Singapore, Kluwer Academic Publishers.
  242.  
  243. CHIC Lessons on CLP Methodolgy (html
  244. <http://www.ecrc.de/eclipse/html/CHIC_Methodology.html>, postscript
  245. <ftp://ftp.ecrc.de/pub/chic/methodology.ps.gz>) -- a paper by Andre
  246. Chamard, Annie Fischler, Dominique-Benoit Guinaudeau and Andre Guillard
  247.  
  248. Computational Phonology: A Constraint-Based Approach
  249. <http://www.cogsci.ed.ac.uk/~steven/book.html> a book by Steven Bird,
  250. Edinburgh.
  251.  
  252. Constraint Programming: Basics and Trends
  253. <http://www.cs.unh.edu/ccc/archive/constraints/archive/podelski.html> edited
  254. by Andreas Podelski (Chatillon-sur-Seine Spring School, France, May
  255. 1994).
  256.  
  257. CHIP hints <http://www.biochem.abdn.ac.uk/~scott/chip.html> (Scott
  258. Fleishman <http://www.biochem.abdn.ac.uk/~scott/scott.html>,
  259. Aberdeen).
  260.  
  261. Logic Programming: Formal Methods and Practical Applications
  262. <http://voss.fernuni-hagen.de/gebiete/pi8/lit/lp95book.html> edited by
  263. C. Beierle and L. Pluemer, published by Elsevier.
  264.  
  265. Abstract <http://www.cs.unh.edu/ccc/archive/constraints/archive/kondrak.html>
  266. of "A Theoretical Evaluation of Selected Backtracking Algorithms" by
  267. Grzegorz Kondrak, University of Alberta.
  268.  
  269. Over-Constrained Systems
  270. <http://www.cs.unh.edu/ccc/archive/constraints/archive/ocs-book.html> edited
  271. by Michael Jampel, Eugene Freuder, and Michael Maher. Springer LNCS
  272. 1106, August 1996. Contains selected papers from the Workshop on
  273. Over-Constrained Systems at CP'95, and also reprints and background
  274. papers.
  275.  
  276. Phase Transition Behaviour of Maintaining Arc Consistency
  277. <ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_25.ps.Z> by Stuart
  278. Grant and Barbara Smith (Leeds)
  279.  
  280. Constraint Programming
  281. <http://www.icparc.ic.ac.uk/papers/handbook.ps>
  282. by Mark Wallace
  283.  
  284. Practical Applications of Constraint Programming
  285. <http://www.icparc.ic.ac.uk/papers/practical_applications_of_constraint_pro.
  286. ps>
  287. by Mark Wallace
  288.  
  289. Engineering of Optimisation Projects
  290. <http://www.icparc.ic.ac.uk/chic2/chic2_methodology/>
  291. by the CHIC-2 Consortium
  292.  
  293. Reviews and surveys
  294. ================================================================
  295.  
  296. Overview of CSP tools
  297. <http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> including CHIP,
  298. CHARME, and ILOG SOLVER by Tim Duncan
  299. <http://www.aiai.ed.ac.uk/~timd/timd.html>.
  300.  
  301. CLP with Non-Linear Constraints
  302. <http://www.risc.uni-linz.ac.at/people/ocaprott/survey.html>, a survey
  303. by Olga Caprotti
  304. <http://info.risc.uni-linz.ac.at:70/1/people/ocaprott>. (This
  305. information is also in the comp.constraints FAQ, but in a slightly
  306. different form.)
  307.  
  308. Review <http://www.cs.unh.edu/ccc/archive/constraints/archive/cras.html> by
  309. Michael Jampel of A Review of Industrial Constraint Solving Tools by
  310. Jean-Yves Cras
  311.  
  312. Sites with publications on constraints
  313. ================================================================
  314.  
  315. CCL project <http://ps-www.dfki.uni-sb.de/ccl> Construction of
  316. Computational Logics (located at DFKI) -- also CCL Bibliographies
  317. <http://ps-www.dfki.uni-sb.de/ccl/publications/index.html>
  318.  
  319. CHIC project <http://www.ecrc.de/CHIC/> Constraint Handling in Industry
  320. and Commerce (located at ECRC)
  321.  
  322. CHIC-2 project (Creating Hybrid Solutions for Industry and Commerce)
  323. 1996-99 <http://www.icparc.ic.ac.uk/chic2/>
  324.  
  325. Computer Aided Design
  326. <http://www-cad.eecs.berkeley.edu/Respep/Research/analog-cad/analog-group-st
  327. uff.html>
  328. Constraint-driven synthesis and analysis of analog and mixed-signal
  329. integrated circuits (Berkeley).
  330.  
  331. Constraint Logic Programming ftp archive
  332. <ftp://ftp.daimi.aau.dk/pub/CLP/index.html> (run by Brian Mayoh)
  333.  
  334. Constraints <http://www.cs.unh.edu/constraints> Journal, edited by
  335. Eugene Freuder <http://www.cs.unh.edu:70/0h/faculty/freuder.html>.
  336.  
  337. CMU AI Repository
  338. <http://www.cs.cmu.edu/Web/Groups/AI/html/repository.html>
  339.  
  340. DFKI Programming Systems Lab <http://ps-www.dfki.uni-sb.de> and DFKI
  341. Constraints Research
  342. <http://www.dfki.uni-kl.de/~hmeyer/constraints/constraints.html>
  343.  
  344. ECRC ftp archive <ftp://ftp.ecrc.de/pub/>
  345.  
  346. Essex University ftp archive <ftp://solb1.essex.ac.uk/pub/csp/> (CSPs,
  347. partial constraints, constraints related to neural nets etc. Edward
  348. Tsang)
  349.  
  350. IC-Parc, Imperial College Centre for Planning and Resource Control
  351. http://www.icparc.ic.ac.uk (publications and ECLiPSe system)
  352.  
  353. The ILOG Solver and Schedule
  354. <http://www.ilog.com/html/product_optimization_suite.html> web pages
  355. include relevant papers
  356.  
  357. Imperial College Logic Programming Section
  358. <http://www-lp.doc.ic.ac.uk:80/_lp/> publications ftp site
  359.  
  360. JAIR <http://www.cs.washington.edu/research/jair/home.html> (Journal of
  361. AI Research home page)
  362.  
  363. LIA <ftp://liasun3.epfl.ch/lia> papers and reports (Lausanne)
  364.  
  365. Logic Programming <http://www.comlab.ox.ac.uk/archive/logic-prog.html>
  366. (Jonathan Bowen, Oxford University)
  367.  
  368. NASA Ames Research Center
  369. <http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/> various papers
  370.  
  371. Ohio State CLP tech reports
  372. <http://www.cis.ohio-state.edu/~spiro/clp.html> (Spiro Michaylov)
  373.  
  374. Overview of CSP tools
  375. <http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> (Tim Duncan)
  376.  
  377. Phase Transition
  378. <ftp://parcftp.xerox.com/pub/dynamics/constraints.html> in CSPs (Tad
  379. Hogg)
  380.  
  381. Phase Transition Behaviour of Maintaining Arc Consistency
  382. <ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_25.ps.Z> by Stuart
  383. Grant and Barbara Smith
  384.  
  385. SICS ISL <http://www.sics.se/isl/> Intelligent Systems Laboratory at
  386. SICS
  387.  
  388. Toronto OR <ftp://fmgmt.mgmt.utoronto.ca>: papers from the Laboratory
  389. of Manufacturing Research
  390.  
  391. University of Washington ftp archive
  392. <ftp://ftp.cs.washington.edu/pub/constraints> (Alan Borning etc.) ---
  393. also WWW <http://www.cs.washington.edu/research/constraints>
  394.  
  395. Xerox PARC ftp archive <ftp://parcftp.xerox.com/pub/ccp>
  396.  
  397.  
  398. ----------------------------------------------------------------
  399.  
  400. Subject: [1-5] Bibliographies
  401.  
  402. Short bibliography
  403. <http://www.cs.unh.edu/ccc/archive/constraints/archive/shortbib> covering
  404. some key CLP and CSP papers and books.  Suggestions for updating the
  405. list are requested; email <pse@cs.unh.edu>.
  406.  
  407. CLP bibliography <ftp://archive.cis.ohio-state.edu/pub/clp> by Spiro
  408. Michaylov <spiro@cis.ohio-state.edu> (somewhat out of date; no entries
  409. after 1993).
  410.  
  411. An updated CLP bibliography is maintained by Peggy Eaton
  412. <mailto:pse@cs.unh.edu>.  (URL TO BE ADDED)
  413.  
  414. Abstract Interpretation Bibliography
  415. <http://www.labri.u-bordeaux.fr/~corsini/Public/Reports/abint-biblio.ps>
  416. (Marc-Michel Corsini)
  417.  
  418. CCL Bibliographies
  419. <http://ps-www.dfki.uni-sb.de/ccl/publications/index.html> (Constraints
  420. in Computational Logic project)
  421.  
  422. Combinations of Constraint Solving Techniques
  423. <http://acsl.cs.uiuc.edu/~tinelli/papers/comb-papers.html>
  424.  
  425. Constraint Programming Paper Archive:  Aarhus University, Denmark, has
  426. established an anonymous ftp archive for papers on "Constraint
  427. Programming" at <ftp://ftp.daimi.aau.dk//pub/CLP/> For further
  428. information, contact Brian H. Mayoh <brian@daimi.aau.dk>.
  429.  
  430. ECRC tech reports are available at <ftp://ftp.ecrc.de> or
  431. <http://www.ecrc.de/>
  432.  
  433. Fuzzy Scheduling bibliography <ftp://mira.dbai.tuwien.ac.at/pub/slany/>
  434. (Wolfgang Slany <http://www.dbai.tuwien.ac.at/staff/slany.html>)
  435.  
  436. Glimpse server <http://donkey.cs.arizona.edu:1994/bib> for general
  437. computing bibliographic searches
  438.  
  439. Logic Programming bibliographies
  440. <http://ps-www.dfki.uni-sb.de/lp-proceedings> (Ralf Scheidhauer
  441. <http://ps-www.dfki.uni-sb.de/~scheidhr>) -- can be searched
  442. <http://ps-www.dfki.uni-sb.de/lp-proceedings/bibtex/ghindex.html>
  443.  
  444. Logic Programming Conferences
  445. <http://www.informatik.uni-trier.de/~ley/db/conf/index.l.html> --
  446. excellent WWW bibliographies (Michael Ley) --- also a page of more
  447. general bibliographies
  448. <http://www.informatik.uni-trier.de/~ley/db/conf/index.html>, including
  449. databases
  450.  
  451. Theory journal <http://theory.lcs.mit.edu/~dmjones/hbp/>
  452. bibliographies, organised by David Jones
  453. <http://theory.lcs.mit.edu/~dmjones/>.  Includes:  FOCS: IEEE Symposium
  454. on Foundations of Computer Science
  455. <http://theory.lcs.mit.edu/~dmjones/FOCS/homepage.html>, Information
  456. and Computation <http://theory.lcs.mit.edu/~iandc/>, Journal of the ACM
  457. <http://theory.lcs.mit.edu/~jacm/>, LICS: IEEE Symposium on Logic in
  458. Computer Science <http://theory.lcs.mit.edu/~dmjones/LICS/>, STOC: ACM
  459. Symposium on Theory of Computing
  460. <http://theory.lcs.mit.edu/~dmjones/STOC/homepage.html>.
  461.  
  462.  
  463. ----------------------------------------------------------------
  464.  
  465. Subject: [1-6] Journals
  466.  
  467. CONSTRAINTS is a new journal published by Kluwer.  The Editor-in-Chief
  468. is Eugene C. Freuder <ecf@cs.unh.edu>.  See
  469. <http://www.cs.unh.edu/constraints/>.  CONSTRAINTS will be available
  470. both as a conventional paper journal and in electronic form.  The
  471. Instructions for Authors can be obtained from Kelly Riddle
  472. <krkluwer@world.std.com>.
  473.  
  474. The AI Journal <http://www.elsevier.nl/locate/artint> publishes
  475. constraint-related articles.  (Note the new electronic services
  476. available to  users affiliated to institutes with a full subscription
  477. to the paper journal.  Abstracts and some papers are available on-line,
  478. and can be searched.)
  479.  
  480. The Journal of Artificial Intelligence Research (JAIR)
  481. <http://www.cs.washington.edu/research/jair/home.html> is published
  482. both electronically and in hard copy.  Articles are announced in
  483. comp.ai.jair.announce and published in comp.ai.jair.papers and on the
  484. web page.
  485.  
  486. AI Communications (4 issues/yr) "The European Journal on Artificial
  487. Intelligence" ISSN 0921-7126, European Coordinating Committee for
  488. Artificial Intelligence.
  489.  
  490. The Journal of Logic Programming (issued bimonthly), Elsevier
  491. Publishing Company, ISSN 0743-1066.  (CLP-related articles.)
  492.  
  493. New Generation Computing Springer-Verlag. (Prolog-related articles)
  494.  
  495. The Journal of Functional and Logic Programming (JFLP) is a new
  496. electronic journal that covers a broad scope of topics from functional
  497. and logic programming. It is specially concerned with the integration
  498. of the functional and logic paradigm as well as their common
  499. foundations. The Journal expects articles ranging from the theoretical
  500. foundations of functional and logic programming up to the application
  501. of such languages in the real world. The Journal is published by The
  502. MIT Press. See <http://mitpress.mit.edu/jrnls-catalog/jflp.html> or
  503. <http://www.cs.tu-berlin.de/~chak/jflp/> for details.
  504.  
  505. Other links
  506. ================================================================
  507.  
  508. See the journal list
  509. <http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/pu
  510. blications.html>
  511. at the CMU AI Repository
  512. <http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html>.
  513.  
  514.  
  515. ----------------------------------------------------------------
  516.  
  517. Subject: [1-7] Mailing lists
  518.  
  519. CCL II mailing list This is the mailing list of the Esprit (European
  520. Union) project CCL II "Construction on Computational Logics" which
  521. focuses in particular on symbolic constraints.  To subscribe, send mail
  522. to <ccl-request@dfki.uni-sb.de>.  The project's home page is
  523. <http://www.ps.uni-sb.de/ccl/> where you can find an archive of the
  524. mailing list.
  525.  
  526. Constraint Logic Programming Announcements and articles to
  527. <clp@iscs.nus.sg>. Requests to subscribe/unsubscribe to
  528. <clp-request@iscs.nus.sg>. Maintained by Roland Yap
  529. <ryap@iscs.nus.sg>.
  530.  
  531. CLP(R) Users Announcements and articles to <clpr-users@iscs.nus.sg>.
  532. Requests to subscribe/unsubscribe to <clpr-users-request@iscs.nus.sg>.
  533. Maintained by Roland Yap <ryap@iscs.nus.sg>.
  534.  
  535. Constraint Satisfaction Problems (CSP) To subscribe, send e-mail to
  536. <listserver@saturne.cert.fr> in the form "SUB CSP-LIST <name>".  Send
  537. submissions to <csp-list@saturne.cert.fr>.  List maintained by Thomas
  538. Schiex <schiex@cert.fr>.
  539.  
  540. Intelligent Decision Support System Mailing List  (Not completely
  541. relevant, but to some extent related to applications of constraints.)
  542. To post to the list e-mail <IDSS@socs.uts.EDU.AU>. Subscription
  543. requests should be sent to <idss-request@socs.uts.EDU.AU>.
  544.  
  545. The SCHED-L Mailing list Knowledge-based scheduling.  Discussion of
  546. scheduling techniques and manufacturing processes.  Send "subscribe
  547. sched-l {your full name}" in the body of a message to
  548. listserver@vexpert.dbai.tuwien.ac.at <>.  Maintained by Wolfgang Slany
  549. <wsi@vexpert.dbai.tuwien.ac.at>.  Archives are available for the
  550. SCHED-L <http://www.dbai.tuwien.ac.at/marchives/sched-l/index.html>.
  551.  
  552.  
  553. ----------------------------------------------------------------
  554.  
  555. Subject: [1-8] Newsgroups
  556.  
  557. comp.constraints, comp.ai, and other AI newsgroups are archived at:
  558. <http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/pubs/news/0.html>.
  559.  
  560. comp.lang.prolog is archived at:
  561. <http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/news/prol
  562. og/0.html>
  563.  
  564. Other relevant groups might include sci.op-research and comp.theory
  565.  
  566.  
  567. ----------------------------------------------------------------
  568.  
  569. Subject: [1-9] Benchmarks and examples
  570.  
  571. ACC basketball scheduling problem
  572. <a href="http://www.ps.uni-sb.de/~walser/acc/acc.html">, an AMPL model 
  573. and 0-1 IP instances of the original problem (presented by Nemhauser and
  574. Trick), 
  575. J.P. Walser (University of Saarbruecken) 
  576.  
  577. Secretary's Nightmare scheduling problem
  578. CAIA-94 <http://cdr.stanford.edu/html/people/petrie/caia.html>, the
  579. workshop on Coordinated Design and Planning, March 1994, introduced the
  580. "secretary's nightmare" scheduling problem.
  581.  
  582. CSP Lab (in Lisp) <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab> created
  583. by Patrick Prosser. There is also a Scheme version
  584. <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab.scm>.  Algorithms include
  585. bt, bm, bj, cbj, fc, fc-cbj, and mac.
  586.  
  587. CSPLib v2.0: a benchmark library for constraints compiled by Toby Walsh, 
  588. Ian Gent, and Bart Selman. <http://csplib.cs.strath.ac.uk>
  589. <email:csplib@cs.strath.ac.uk>
  590.  
  591. ECLiPSe Code Samples
  592. <http://www.icparc.ic.ac.uk/eclipse/examples/>
  593.  
  594. The Munich Rent Advisor
  595. <http://www.pst.informatik.uni-muenchen.de/~fruehwir/miet-demo.html>
  596. was written using the CHR library of Eclipse
  597. <http://www.ecrc.de/eclipse/eclipse.html>, by Thom Fruehwirth
  598. <http://www.pst.informatik.uni-muenchen.de/~fruehwir/>.
  599.  
  600. The Mystery Shopper benchmark
  601. <http://www.cs.unh.edu/ccc/archive/constraints/archive/mystery-shopper-bench
  602. mark.txt>
  603. was developed by Jimmy Ho Man Lee <jlee@cs.cuhk.hk> and introduced at
  604. CP'96.
  605.  
  606. Neng-Fa Zhou <zhou@mse.kyutech.ac.jp> has developed a multi-layer
  607. channel router in CLP(FD), and hopes that the program can be used as a
  608. good benchmark for evaluating CLP(FD) systems.  The program, and a
  609. number ofq other CLP benchmarks, are available from
  610. <ftp://ftp.kyutech.ac.jp/pub/Language/prolog/benchmarks.tar.gz>.
  611.  
  612. OR-Library <http://mscmga.ms.ic.ac.uk/info.html> of test data sets
  613. (Imperial College, J.E. Beasley)
  614.  
  615. Planning and Scheduling <http://www.NeoSoft.com/~benchmrx/> Benchmarks
  616. (Barry Fox, Mark Ringer)
  617.  
  618. Radio Link Frequency Assignment Problem can be found
  619. at the TU-Delft RLFAP archive <http://dutiosd.twi.tudelft.nl/~rlfap/>
  620. and on this site at
  621. <ftp://ftp.cs.unh.edu/pub/csp/archive/code/benchmarks/FullRLFAP/>
  622.  
  623. Scheduling Benchmarks and Resources
  624. <http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/benchmark-article.html>
  625. (A paper by Mark Drummond, NASA Ames Research Center; also a postscript
  626. <http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/med-sigman.ps>
  627. version)
  628.  
  629. Traffic Lights
  630. <http://www.cs.unh.edu/ccc/archive/constraints/archive/traffic.html> example
  631. by Walter Hower <http://yeats.ucc.ie/~walter/>
  632.  
  633. TSP
  634. <http://www.iwr.uni-heidelberg.de/iwr/comopt/soft/TSPLIB95/TSPLIB.html>
  635. Travelling Salesman Problems library, maintained by Gerhard Reinelt
  636. (Gerhard.Reinelt@IWR.Uni-Heidelberg.de)
  637.  
  638. Zebra Puzzle <http://www.ecrc.de/eclipse/html/extroot/node59.html> --
  639. in Eclipse using CLP(Finite Domains)
  640.  
  641. ----------------------------------------------------------------
  642.  
  643. Subject: [1-10] Constraint libraries for Lisp and C
  644.  
  645. Patrick Prosser <pat@cs.strath.ac.uk> discusses various standard
  646. algorithms in the journal Computational Intelligence vol 9(3), 1993.
  647. Scheme versions available from Pat on request; Lisp implementations are
  648. available from <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab>.
  649.  
  650. Peter Van Beek <vanbeek@cs.ualberta.ca> has written a set of libraries
  651. for C. This package is available from
  652. <ftp://ftp.cs.ualberta.ca/pub/ai/csp> where you will find a README and
  653. also csplib.tar.Z.
  654.  
  655. Screamer
  656. <http://www.cs.unh.edu/ccc/archive/constraints/systems/screamer.html> is a
  657. constraint library for Common Lisp.
  658.  
  659. Michel Lemaitre has written a Common Lisp library dedicated to the
  660. resolution of "Valued Constraint Satisfaction Problems" (for a
  661. description of VCSP, see
  662. <ftp://ftp.cert.fr/pub/verfaillie/ijcai95.ps>).  The library has been
  663. designed with efficiency in mind. It includes Branch and Bound
  664. extensions of the Backtrack and Forward checking algorithm as well as
  665. the "Russian Doll Search" algorithm described in
  666. <ftp://ftp.cert.fr/pub/verfaillie/rds-aaai96.ps>, and several benchmark
  667. problems.  The library is available at
  668. <ftp://ftp.cert.fr/pub/lemaitre/LVCSP/>.
  669.  
  670.  
  671. ----------------------------------------------------------------
  672.  
  673. Subject: [1-11] Constraint systems
  674.  
  675. The constraints archive web page on constraint systems
  676. <http://www.cs.unh.edu/ccc/archive/constraints/systems> has entries for
  677. the following systems:
  678.  
  679.     ALE
  680.     Amulet and Garnet
  681.     B-Prolog
  682.     Bertrand
  683.     CHIP
  684.     CIAL
  685.     CLAIRE
  686.     CLP(BNR), CLP(F), CLP(FD), CLP(R), etc.
  687.     CPLEX
  688.     Contax
  689.     Cooldraw, Deltablue, Skyblue, ThinglabII
  690.     DiSCiPl
  691.     ECLiPSe
  692.     Echidna
  693.     Euclid
  694.     FSQP/CFSQP
  695.     GNU-Prolog
  696.     Goedel
  697.     IF/Prolog
  698.     ILOG Schedule, ILOG Solver
  699.     LIFE
  700.     Newton
  701.     Nicolog
  702.     Omega
  703.     Oz
  704.     ProFIT
  705.     Prolog III, Prolog IV
  706.     QUAD-CLP(R)
  707.     Quantum Leap
  708.     RISC-CLP(Real)
  709.     SEL
  710.     SICStus
  711.     Screamer
  712.     Steele
  713.     TOY
  714.     Toupie
  715.     Trilogy    
  716.     cu-Prolog
  717.     opbdp
  718.  
  719.  
  720. The constraints archive search page
  721. <http://www.cs.unh.edu/ccc/archive/constraints/search.html> also has an
  722. option for searching just the descriptions of systems.  
  723.  
  724. See the comp.lang.prolog, comp.lang.lisp, comp.ai and comp.lang.scheme
  725. FAQs and Resource Guides for possibly more up-to-date and complete
  726. information.
  727.  
  728. Also see:
  729.  
  730. Overview of CSP tools
  731. <http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> (Tim Duncan)
  732.  
  733. PTF:  The Prime Time Freeware CD-ROM series contains various items
  734. mentioned here including Mark Kantrowitz's AI Repository, some ICOT
  735. material, BERTRAND, GARNET, and LIFE. Prime Time Freeware for UNIX
  736. sells for $60 US, list, and is issued twice each year. E-mail
  737. <ptf@cfcl.com> for more details.
  738.  
  739. ----------------------------------------------------------------
  740.  
  741.  
  742.  
  743.