comp.constraints FAQ (Part 1 of 2)
const...@cirl.uoregon.edu
Archive-name: constraints-faq/part1
Summary: Frequently asked questions about constraints
Posting-Frequency: monthly
URL: http://www.cirl.uoregon.edu/constraints/
Version: 97.06.08
Contributions and corrections should be sent to:
<const...@cirl.uoregon.edu>
This is a list of Frequently Asked Questions (and answers) for the
area of constraints, including books, journal articles, ftp archives,
and systems & products. It is posted once a month to the newsgroups
comp.constraints, comp.answers, and news.answers.
NOTE: the Constraints Archive web pages contain far more information
than the FAQ, including pointers to other web pages and ftp sites:
http://www.cirl.uoregon.edu/constraints/
This guide is regularly posted in two parts to comp.constraints. It
may also be obtained from the WWW pages, and from the archive on
rtfm.mit.edu in the directory /pub/usenet/news.answers/constraints-faq.
You can also access the rtfm archive by mail server as well. Send an
e-mail message to mail-...@rtfm.mit.edu with "help" and "index"
in the body on separate lines for more information.
This FAQ is Copyright David Joslin, 1996, 1997. Permission to do
reasonable things not for profit is given to anyone. Anything else,
ask me.
Contributors to this FAQ include Michael Jampel <jam...@cs.city.ac.uk>,
who was the original author and maintainer, and: Philippe Blache
<p...@llaor.unice.fr>, Mark Kantrowitz <mk...@cs.cmu.edu>, Wm Leler
<w...@concentric.net>, Manfred Meyer <me...@dfki.uni-kl.de>, Milind
Tambe <ta...@isi.edu>, Thomas Schiex <sch...@cert.fr>, and Tad Hogg
<ho...@parc.xerox.com>.
----------------------------------------------------------------
Table of Contents:
[1-1] Introductory papers and texts
[1-2] Other related FAQs
[1-3] Acronyms
[1-4] Publications
[1-5] Bibliographies
[1-6] Journals
[1-7] Mailing lists
[1-8] Newsgroups
[1-9] Benchmarks and examples
[1-10] Constraint libraries for Lisp and C
[1-11] Constraint systems
In the second part of this FAQ:
[2-1] Conferences
[2-2] Constraint-related job openings
Search for [#] to get to topic number # quickly. In newsreaders which
support digests (such as rn), [CTRL]-G will page through the answers.
----------------------------------------------------------------
Subject: [1-1] Introductory papers and texts
V. Kumar, "Algorithms for Constraint-Satisfaction Problems: A Survey, "
AI Magazine 13(1):32-44, 1992. (A postscript version
<http://www.cirl.uoregon.edu/constraints/archive/kumar.ps> is
available. It differs slightly from the published version.)
David McAllester's lecture notes on constraint satisfaction search
<http://www.cirl.uoregon.edu/constraints/archive/dmac.ps>
[postscript].
Constraint Logic Programming
<http://www.cirl.uoregon.edu/constraints/archive/byte.html> by Dick
Pountain. Reproduced with permission from BYTE <http://www.byte.com/>
magazine, February 1995; converted to html by Michael Jampel. (BYTE
has now put their version <http://www.byte.com/art/9502/sec13/art3.htm>
of the article on the web.)
E. Tsang <edw...@essex.ac.uk>, "Foundations of Constraint
Satisfaction", Academic Press, 1993. ISBN 0-12-701610-4. (Out of
print, but available from the author
<http://cswww.essex.ac.uk/CSP/edward/FCS.html>.)
Also see the articles on Constraint Networks (pages 276-285) and
Constraint Satisfaction (pages 285-293) in Shapiro's Encyclopedia of
Artificial Intelligence.
----------------------------------------------------------------
Subject: [1-2] Other related FAQs
Many FAQs are posted to the news.answers newsgroup, and, if
appropriate, to comp.answers and other groups. These FAQs are archived
at <ftp://rtfm.mit.edu/pub/usenet/>. For example, the comp.constraints
FAQs are in the <ftp://rtfm.mit.edu/pub/usenet/comp.constraints/>
directory.
These FAQs are also automatically converted to HTML (in most cases,
this just means that URLs are converted to hot links), and archived in
various places such as the News.Answers Faqs Archive
<http://www.cs.ruu.nl/cgi-bin/faqwais> at Utrecht; for example, the
comp.constraints FAQ
<http://www.cs.ruu.nl/wais/html/na-bng/comp.constraints.html>,
converted to HTML format, can be found there. You can also search the
collection of FAQs. Also see Smartpages
<http://www.smartpages.com/bngfaqs/top.html> and the Ohio State
archives
<http://www.cis.ohio-state.edu/hypertext/faq/usenet/FAQ-List.html>
maintained by Tom Fine, Infoseek <http://guide.infoseek.com/> (one of
the search options is "Usenet FAQs"), and Kent Landfield's archive
<http://www.landfield.com/faqs/>.
Here are the FAQs for comp.ai
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/ai_general/top.html>,
for AI in general
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/top.html>, for AI
programming languages
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/top.html> and for
comp.lang.prolog
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/top.html>
(with some information on CLP).
The sci.op-research newsgroup has FAQs for linear and non-linear
programming <http://www.mcs.anl.gov/home/otc/Guide/faq/> These can be
found in ascii format, along with an index of resources for numerical
computation in C or C++ (including some for linear and non-linear
programming), in <ftp://rtfm.mit.edu/pub/usenet/sci.op-research/>.
----------------------------------------------------------------
Subject: [1-3] Acronyms
This section explains what various acronyms stand for, without much
detail on any of them. You can also use the search facility
<http://www.cirl.uoregon.edu/constraints/search.html> of the constraints
archive to find web pages on which a term occurs.
(*) Denotes techniques/heuristics for improving the efficiency of
constraint satisfaction
AC -- Arc-Consistency: a method for reducing the amount of back-tracking
in CSPs
AC-n -- Different algorithms for enforcing arc consistency: AC-3, AC-4
(Mackworth), AC-5 (van Hentenryck), AC-6+, AC6++ (Bessiere and Regin),
AC-7 (Freuder). Also Hierarchical AC: HAC (Mackworth) and HAC-6 (Kokeny)
AKL -- Agent Kernel Language: object-oriented concurrent constraints
(previously called Andorra Kernel Language)
ATMS -- Assumption-Based Truth-Maintenance System
BJ -- Backjumping (*)
BM -- Backmarking (*)
BMJ -- Backmarking with backjumping (*)
CBJ -- Conflict-Directed Back-Jumping (*)
DB -- Dynamic Backtracking (*)
CC(FD) -- Concurrent Constraint Programming over Finite Domains
CCP -- Concurrent Constraint Programming
CHR -- Constraint Handling Rules (Fruehwirth)
CIP -- Constraint Imperative Programming
CLP -- Constraint Logic Programming
CLP(FD) -- Constraint Logic Programming over finite domains
CLP(R) -- Constraint Logic Programming over the domain of Real numbers
CLP(X) -- Constraint Logic Programming over some domain X
COP -- Constrained Optimization Problem
CSP -- Constraint Satisfaction Problem
DBT -- Dynamic backtracking
DCSP -- Dynamic CSP
DnAC -- Dynamic arc-consistency
DVO -- Dynamic Variable Ordering heuristic (*)
FC -- Forward-checking (*)
FF -- First Fail principle: choose the variable with the smallest
domain as the next instantiation (*)
FLA -- Full Look Ahead
FOF -- Factor Out Failure
FSL -- Full Shallow learning (*)
GBJ -- Graph based Backjumping (*)
HAC -- Hierarchical Arc Consistency. See AC-n.
HCLP -- Hierarchical CLP
IB -- Intelligent Backtracking (*)
IDA* -- Iterative Deepening A*
ILP -- Integer Linear Programming
IP -- Integer Programming
LC -- Local changes
LP -- Logic Programming or Linear Programming
MAC -- Maintaining Arc-Consistency
NC -- Node consistency (see AC). Not much used
NLP -- Non-Linear Programming. (Natural Language Processing elsewhere)
NR -- Nogood recording (*)
OR -- Operations Research. see newsgroup sci.op-research
PC -- Path-Consistency. Not much used
PCSP -- Partial CSP
PLA -- Partial Look Ahead
RFLA -- Real Full Look Ahead
SAT -- The problem of deciding if a given logical formula is SATisfiable.
TMS -- Truth-Maintenance System
TSP -- Travelling Salesman Problem; a typical very hard problem
(Thanks to Michael Jampel, Patrick Prosser, Thomas Schiex, Berthe
Choueiry, Alan Borning, Warwick Harvey, Thom Fruehwirth. Please inform
me of additions.)
----------------------------------------------------------------
Subject: [1-4] Publications
This section contains pointers to various constraints-related books,
articles, reviews, etc., as well as pointers to sites that have
collections of constraint-related publications.
Books and articles
================================================================
CHIC Lessons on CLP Methodolgy (html
<http://www.ecrc.de/eclipse/html/CHIC_Methodology.html>, postscript
<ftp://ftp.ecrc.de/pub/chic/methodology.ps.gz>) -- a paper by Andre
Chamard, Annie Fischler, Dominique-Benoit Guinaudeau and Andre Guillard
Computational Phonology: A Constraint-Based Approach
<http://www.cogsci.ed.ac.uk/~steven/book.html> a book by Steven Bird,
Edinburgh.
Constraint Programming: Basics and Trends
<http://www.cirl.uoregon.edu/constraints/archive/podelski.html> edited
by Andreas Podelski
<http://www.mpi-sb.mpg.de:80/guide/staff/podelski/podelski.html>
(Chatillon-sur-Seine Spring School, France, May 1994).
CHIP hints <http://www.biochem.abdn.ac.uk/~scott/chip.html> (Scott
Fleishman <http://www.biochem.abdn.ac.uk/~scott/scott.html>,
Aberdeen).
Logic Programming: Formal Methods and Practical Applications
<http://voss.fernuni-hagen.de/gebiete/pi8/lit/lp95book.html> edited by
C. Beierle and L. Pluemer, published by Elsevier.
Abstract <http://www.cirl.uoregon.edu/constraints/archive/kondrak.html>
of "A Theoretical Evaluation of Selected Backtracking Algorithms" by
Grzegorz Kondrak, University of Alberta.
Over-Constrained Systems
<http://www.cirl.uoregon.edu/constraints/archive/ocs-book.html> edited
by Michael Jampel, Eugene Freuder, and Michael Maher. Springer LNCS
1106, August 1996. Contains selected papers from the Workshop on
Over-Constrained Systems at CP'95, and also reprints and background
papers.
Phase Transition Behaviour of Maintaining Arc Consistency
<ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_25.ps.Z> by Stuart
Grant and Barbara Smith (Leeds)
Reviews and surveys
================================================================
Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> including CHIP,
CHARME, and ILOG <http://www.ilog.com> SOLVER
<http://www.ilog.com/ilog/products/solver/solver.html> by Tim Duncan
<http://www.aiai.ed.ac.uk/~timd/timd.html>.
CLP with Non-Linear Constraints
<http://www.risc.uni-linz.ac.at/people/ocaprott/survey.html>, a survey
by Olga Caprotti
<http://info.risc.uni-linz.ac.at:70/1/people/ocaprott>. (This
information is also in the comp.constraints FAQ, but in a slightly
different form.)
Review <http://www.cirl.uoregon.edu/constraints/archive/cras.html> by
Michael Jampel of A Review of Industrial Constraint Solving Tools by
Jean-Yves Cras
Sites with publications on constraints
================================================================
CCL project <http://ps-www.dfki.uni-sb.de/ccl> Construction of
Computational Logics (located at DFKI) -- also CCL Bibliographies
<http://ps-www.dfki.uni-sb.de/ccl/publications/index.html>
CHIC project <http://www.ecrc.de/CHIC/> Constraint Handling in Industry
and Commerce (located at ECRC)
Computer Aided Design
<http://www-cad.eecs.berkeley.edu/Respep/Research/analog-cad/analog-group-stuff.html>
Constraint-driven synthesis and analysis of analog and mixed-signal
integrated circuits (Berkeley).
Constraint Logic Programming ftp archive
<ftp://ftp.daimi.aau.dk/pub/CLP/index.html> (run by Brian Mayoh)
Constraints <http://www.cs.unh.edu/constraints> Journal, edited by
Eugene Freuder <http://www.cs.unh.edu:70/0h/faculty/freuder.html>.
CMU AI Repository
<http://www.cs.cmu.edu/Web/Groups/AI/html/repository.html>
DFKI Programming Systems Lab <http://ps-www.dfki.uni-sb.de> and DFKI
Constraints Research
<http://www.dfki.uni-kl.de/~hmeyer/constraints/constraints.html>
ECRC ftp archive <ftp://ftp.ecrc.de/pub/>
Essex University ftp archive <ftp://solb1.essex.ac.uk/pub/csp/> (CSPs,
partial constraints, constraints related to neural nets etc. Edward
Tsang)
ILOG Solver <http://www.ilog.com/ilog/products/solver/solver.html> and
Schedule <http://www.ilog.com/ilog/products/schedule/schedule.html>
papers
Imperial College Logic Programming Section
<http://www-lp.doc.ic.ac.uk:80/_lp/> publications ftp site
JAIR <http://www.cs.washington.edu/research/jair/home.html> (Journal of
AI Research home page)
LIA <ftp://liasun3.epfl.ch/lia> papers and reports (Lausanne)
Logic Programming <http://www.comlab.ox.ac.uk/archive/logic-prog.html>
(Jonathan Bowen, Oxford University)
NASA Ames Research Center
<http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/> various papers
Ohio State CLP tech reports
<http://www.cis.ohio-state.edu/~spiro/clp.html> (Spiro Michaylov)
Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> (Tim Duncan)
Phase Transition
<ftp://parcftp.xerox.com/pub/dynamics/constraints.html> in CSPs (Tad
Hogg)
Phase Transition Behaviour of Maintaining Arc Consistency
<ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_25.ps.Z> by Stuart
Grant and Barbara Smith
ICS ISL <http://www.sics.se/isl/> Intelligent Systems Laboratory at SICS
Toronto OR <ftp://fmgmt.mgmt.utoronto.ca>: papers from the Laboratory
of Manufacturing Research
University of Washington ftp archive
<ftp://ftp.cs.washington.edu/pub/constraints> (Alan Borning etc.) ---
also WWW <http://www.cs.washington.edu/research/constraints>
Xerox PARC ftp archive <ftp://parcftp.xerox.com/pub/ccp>
----------------------------------------------------------------
Subject: [1-5] Bibliographies
Short bibliography
<http://www.cirl.uoregon.edu/constraints/archive/shortbib> covering
some key CLP and CSP papers and books. Suggestions for updating the
list are requested; email <const...@cirl.uoregon.edu>.
CLP bibliography <ftp://archive.cis.ohio-state.edu/pub/clp> by Spiro
Michaylov <sp...@cis.ohio-state.edu> (somewhat out of date; no entries
after 1993).
An updated CLP bibliography is maintained by Peggy Eaton
<mailto:p...@cs.unh.edu>. (URL TO BE ADDED)
Abstract Interpretation Bibliography
<http://www.labri.u-bordeaux.fr/~corsini/Public/Reports/abint-biblio.ps>
(Marc-Michel Corsini)
CCL Bibliographies
<http://ps-www.dfki.uni-sb.de/ccl/publications/index.html> (Constraints
in Computational Logic project)
Combinations of Constraint Solving Techniques
<http://acsl.cs.uiuc.edu/~tinelli/papers/comb-papers.html>
Constraint Programming Paper Archive: Aarhus University, Denmark, has
established an anonymous ftp archive for papers on "Constraint
Programming" at <ftp://ftp.daimi.aau.dk//pub/CLP/> For further
information, contact Brian H. Mayoh <br...@daimi.aau.dk>.
ECRC tech reports are available at <ftp://ftp.ecrc.de> or
<http://www.ecrc.de/>
Fuzzy Scheduling bibliography <ftp://mira.dbai.tuwien.ac.at/pub/slany/>
(Wolfgang Slany <http://www.dbai.tuwien.ac.at/staff/slany.html>)
Glimpse server <http://donkey.cs.arizona.edu:1994/bib> for general
computing bibliographic searches
Logic Programming bibliographies
<http://ps-www.dfki.uni-sb.de/lp-proceedings> (Ralf Scheidhauer
<http://ps-www.dfki.uni-sb.de/~scheidhr>) -- can be searched
<http://ps-www.dfki.uni-sb.de/lp-proceedings/bibtex/ghindex.html>
Logic Programming Conferences
<http://www.informatik.uni-trier.de/~ley/db/conf/index.l.html> --
excellent WWW bibliographies (Michael Ley) --- also a page of more
general bibliographies
<http://www.informatik.uni-trier.de/~ley/db/conf/index.html>, including
databases
Theory journal <http://theory.lcs.mit.edu/~dmjones/hbp/>
bibliographies, organised by David Jones
<http://theory.lcs.mit.edu/~dmjones/>. Includes: FOCS: IEEE Symposium
on Foundations of Computer Science
<http://theory.lcs.mit.edu/~dmjones/FOCS/homepage.html>, Information
and Computation <http://theory.lcs.mit.edu/~iandc/>, Journal of the ACM
<http://theory.lcs.mit.edu/~jacm/>, LICS: IEEE Symposium on Logic in
Computer Science <http://theory.lcs.mit.edu/~dmjones/LICS/>, STOC: ACM
Symposium on Theory of Computing
<http://theory.lcs.mit.edu/~dmjones/STOC/homepage.html>.
----------------------------------------------------------------
Subject: [1-6] Journals
CONSTRAINTS is a new journal published by Kluwer. The Editor-in-Chief
is Eugene C. Freuder <e...@cs.unh.edu>. See
<http://www.cs.unh.edu/constraints/>. CONSTRAINTS will be available
both as a conventional paper journal and in electronic form. The
Instructions for Authors can be obtained from Kelly Riddle
<krkl...@world.std.com>.
The AI Journal <http://www.elsevier.nl/locate/artint> publishes
constraint-related articles. (Note the new electronic services
available to users affiliated to institutes with a full subscription
to the paper journal. Abstracts and some papers are available on-line,
and can be searched.)
The Journal of Artificial Intelligence Research (JAIR)
<http://www.cs.washington.edu/research/jair/home.html> is published
both electronically and in hard copy. Articles are announced in
comp.ai.jair.announce and published in comp.ai.jair.papers and on the
web page.
AI Communications (4 issues/yr) "The European Journal on Artificial
Intelligence" ISSN 0921-7126, European Coordinating Committee for
Artificial Intelligence.
The Journal of Logic Programming (issued bimonthly), Elsevier
Publishing Company, ISSN 0743-1066. (CLP-related articles.)
New Generation Computing Springer-Verlag. (Prolog-related articles)
The Journal of Functional and Logic Programming (JFLP) is a new
electronic journal that covers a broad scope of topics from functional
and logic programming. It is specially concerned with the integration
of the functional and logic paradigm as well as their common
foundations. The Journal expects articles ranging from the theoretical
foundations of functional and logic programming up to the application
of such languages in the real world. The Journal is published by The
MIT Press. See <http://mitpress.mit.edu/jrnls-catalog/jflp.html> or
<http://www.cs.tu-berlin.de/~chak/jflp/> for details.
Other links
================================================================
See the journal list
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/publications.html>
at the CMU AI Repository
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html>.
----------------------------------------------------------------
Subject: [1-7] Mailing lists
CCL II mailing list This is the mailing list of the Esprit (European
Union) project CCL II "Construction on Computational Logics" which
focuses in particular on symbolic constraints. To subscribe, send mail
to <ccl-r...@dfki.uni-sb.de>. The project's home page is
<http://www.ps.uni-sb.de/ccl/> where you can find an archive of the
mailing list.
Constraint Logic Programming Announcements and articles to
<c...@iscs.nus.sg>. Requests to subscribe/unsubscribe to
<clp-r...@iscs.nus.sg>. Maintained by Roland Yap
<ry...@iscs.nus.sg>.
CLP(R) Users Announcements and articles to <clpr-...@iscs.nus.sg>.
Requests to subscribe/unsubscribe to <clpr-user...@iscs.nus.sg>.
Maintained by Roland Yap <ry...@iscs.nus.sg>.
Constraint Satisfaction Problems (CSP) To subscribe, send e-mail to
<lists...@saturne.cert.fr> in the form "SUB CSP-LIST <name>". Send
submissions to <csp-...@saturne.cert.fr>. List maintained by Thomas
Schiex <sch...@cert.fr>.
Intelligent Decision Support System Mailing List (Not completely
relevant, but to some extent related to applications of constraints.)
To post to the list e-mail <ID...@socs.uts.EDU.AU>. Subscription
requests should be sent to <idss-r...@socs.uts.EDU.AU>.
The SCHED-L Mailing list Knowledge-based scheduling. Discussion of
scheduling techniques and manufacturing processes. Send "subscribe
sched-l {your full name}" in the body of a message to
lists...@vexpert.dbai.tuwien.ac.at <>. Maintained by Wolfgang Slany
<w...@vexpert.dbai.tuwien.ac.at>. Archives are available for the
SCHED-L <http://www.dbai.tuwien.ac.at/marchives/sched-l/index.html>.
----------------------------------------------------------------
Subject: [1-8] Newsgroups
comp.constraints, comp.ai, and other AI newsgroups are archived at:
<http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/pubs/news/0.html>.
comp.lang.prolog is archived at:
<http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/news/prolog/0.html>
Other relevant groups might include sci.op-research and comp.theory
----------------------------------------------------------------
Subject: [1-9] Benchmarks and examples
CSP Lab (in Lisp) <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab> created
by Patrick Prosser. There is also a Scheme version
<ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab.scm>. Algorithms include
bt, bm, bj, cbj, fc, fc-cbj, and mac.
CAIA-94 <http://cdr.stanford.edu/html/people/petrie/caia.html>, the
workshop on Coordinated Design and Planning, March 1994, introduced the
"secretary's nightmare" scheduling problem.
OR-Library <http://mscmga.ms.ic.ac.uk/info.html> of test data sets
(Imperial College, J.E. Beasley)
Information on the Radio Link Frequency Assignment Problem can be found
at the TU-Delft RLFAP archive <http://dutiosd.twi.tudelft.nl/~rlfap/>
The Mystery Shopper benchmark
<http://www.cirl.uoregon.edu/constraints/archive/mystery-shopper-benchmark.txt>
was developed by Jimmy Ho Man Lee <jl...@cs.cuhk.hk> and introduced at
CP'96.
The Munich Rent Advisor
<http://www.pst.informatik.uni-muenchen.de/~fruehwir/miet-demo.html>
was written using the CHR library of Eclipse
<http://www.ecrc.de/eclipse/eclipse.html>, by Thom Fruehwirth
<http://www.pst.informatik.uni-muenchen.de/~fruehwir/>.
Neng-Fa Zhou <zh...@mse.kyutech.ac.jp> has developed a multi-layer
channel router in CLP(FD), and hopes that the program can be used as a
good benchmark for evaluating CLP(FD) systems. The program, and a
number ofq other CLP benchmarks, are available from
<ftp://ftp.kyutech.ac.jp/pub/Language/prolog/benchmarks.tar.gz>.
Planning and Scheduling <http://www.NeoSoft.com/~benchmrx/> Benchmarks
(Barry Fox, Mark Ringer)
Scheduling Benchmarks and Resources
<http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/benchmark-article.html>
(A paper by Mark Drummond, NASA Ames Research Center; also a postscript
<http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/med-sigman.ps>
version)
Traffic Lights
<http://www.cirl.uoregon.edu/constraints/archive/traffic.html> example
by Walter Hower <http://yeats.ucc.ie/~walter/>
TSP
<http://www.iwr.uni-heidelberg.de/iwr/comopt/soft/TSPLIB95/TSPLIB.html>
Travelling Salesman Problems library, maintained by Gerhard Reinelt
(Gerhard...@IWR.Uni-Heidelberg.de)
Zebra Puzzle <http://www.ecrc.de/eclipse/html/extroot/node59.html> --
in Eclipse using CLP(Finite Domains)
----------------------------------------------------------------
Subject: [1-10] Constraint libraries for Lisp and C
Patrick Prosser <p...@cs.strath.ac.uk> discusses various standard
algorithms in the journal Computational Intelligence vol 9(3), 1993.
Scheme versions available from Pat on request; Lisp implementations are
available from <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab>.
Peter Van Beek <van...@cs.ualberta.ca> has written a set of libraries
for C. This package is available from
<ftp://ftp.cs.ualberta.ca/pub/ai/csp> where you will find a README and
also csplib.tar.Z.
Screamer
<http://www.cirl.uoregon.edu/constraints/systems/screamer.html> is a
constraint library for Common Lisp.
Michel Lemaitre has written a Common Lisp library dedicated to the
resolution of "Valued Constraint Satisfaction Problems" (for a
description of VCSP, see
<ftp://ftp.cert.fr/pub/verfaillie/ijcai95.ps>). The library has been
designed with efficiency in mind. It includes Branch and Bound
extensions of the Backtrack and Forward checking algorithm as well as
the "Russian Doll Search" algorithm described in
<ftp://ftp.cert.fr/pub/verfaillie/rds-aaai96.ps>, and several benchmark
problems. The library is available at
<ftp://ftp.cert.fr/pub/lemaitre/LVCSP/>.
----------------------------------------------------------------
Subject: [1-11] Constraint systems
The constraints archive web page on constraint systems
<http://www.cirl.uoregon.edu/constraints/systems> has entries for
the following systems:
ALE
Amulet and Garnet
B-Prolog
Bertrand
CHIP
CIAL
CLAIRE
CLP(BNR), CLP(F), CLP(FD), CLP(R), etc.
CPLEX
Contax
Cooldraw, Deltablue, Skyblue, ThinglabII
ECLiPSe
Echidna
Euclid
FSQP/CFSQP
Goedel
IF/Prolog
ILOG Schedule, ILOG Solver
LIFE
Newton
Nicolog
Omega
Oz
ProFIT
Prolog III, Prolog IV
QUAD-CLP(R)
Quantum Leap
RISC-CLP(Real)
SEL
SICStus
Screamer
Steele
TOY
Toupie
Trilogy
WAMCC
cu-Prolog
opbdp
The constraints archive search page
<http://www.cirl.uoregon.edu/constraints/search.html> also has an
option for searching just the descriptions of systems.
See the comp.lang.prolog, comp.lang.lisp, comp.ai and comp.lang.scheme
FAQs and Resource Guides for possibly more up-to-date and complete
information.
Also see:
Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> (Tim Duncan)
PTF: The Prime Time Freeware CD-ROM series contains various items
mentioned here including Mark Kantrowitz's AI Repository, some ICOT
material, BERTRAND, GARNET, and LIFE. Prime Time Freeware for UNIX
sells for $60 US, list, and is issued twice each year. E-mail
<p...@cfcl.com> for more details.
----------------------------------------------------------------
const...@cirl.uoregon.edu
Archive-name: constraints-faq/part2
Summary: Frequently asked questions about constraints
Posting-Frequency: monthly
URL: http://www.cirl.uoregon.edu/constraints/
Contributions and corrections should be sent to:
<const...@cirl.uoregon.edu>
This is part 2 of the comp.constraints FAQ. Part 1 contains
introductory information, and pointers to further information.
Part 2 contains a list of upcoming conferences, and a list of
constraint-related job openings, plus related pointers for both.
NOTE: This information is updated semi-automatically from the
web pages
http://www.cirl.uoregon.edu/constraints/links/conferences.html
and
http://www.cirl.uoregon.edu/constraints/links/jobs.html
This FAQ is Copyright David Joslin, 1996, 1997. Permission to do
reasonable things not for profit is given to anyone. Anything else,
ask me.
----------------------------------------------------------------
Table of Contents:
In the first part of the FAQ:
[1-1] Introductory papers and texts
[1-2] Other related FAQs
[1-3] Acronyms
[1-4] Complexity of constraint satisfaction
[1-5] Publications
[1-6] Bibliographies
[1-7] Journals
[1-8] Mailing lists
[1-9] Newsgroups
[1-10] Benchmarks and examples
[1-11] Constraint libraries for Lisp and C
[1-12] Constraint systems
In this part of the FAQ:
[2-1] Conferences
[2-2] Constraint-related job openings
----------------------------------------------------------------
Subject: [2-1] Conferences
Calendar
================================================================
July 8-12, 1997 -- ICLP '97 <http://www.cs.kuleuven.ac.be/~iclp97> will
be held in Leuven, Belgium. (See entry below) A workshop on
logic-based composition of software
<http://www.scs.leeds.ac.uk/hill/locos.html> will be held following the
conference.
July 27-31, 1997 -- AAAI, Providence, Rhode Island. (See entry
below) There will be a Workshop on Constraints and Agents
<http://www.cs.unh.edu/ccc/ca/aaai97.html> at AAAI-97, chaired by
Eugene Freuder.
August 11-22, 1997 -- The European Summer School in Logic, Language,
and Information, ESSLLI'97 <http://www.lpl.univ-aix.fr/~esslli97> will
be held in Aix-en-Provence, France.
August 20-22, 1997 -- The 2nd international conference on the Practice
And Theory of Automated Timetabling
<http://tawny.cs.nott.ac.uk/ASAP/ttg/patat.html> will be held at the
University of Toronto.
August 23-29, 1997 -- The Fifteenth International Joint Conference on
Artificial Intelligence (IJCAI) will be held in Nagoya, Japan. (See
entry below)
August 26-29, 1997 -- Euro-Par 97 <http://www.uni-passau.de/europar97/>
will have a workshop on Symbolic Computation, for which papers on
constraint programming are invited.
September 24-26, 1997 -- The Fourth European Conference on Planning ECP
'97 <http://cswww.essex.ac.uk/conferences/ecp-97.htm> (formerlly the
European Workshop on Planning, EWSP) will be held in Toulouse, France.
October 12-17, 1997 -- The International Logic Programming Symposium
<http://www.ida.liu.se/~ilps97/> ILPS'97 will be held October 12-17,
1997 at Port Jefferson, NY.
October 16-17, 1997 -- The International Workshop on Tools and
Environments for (Constraint) Logic Programming
<http://www.clip.dia.fi.upm.es/Tools_Environ/call_for_papers.html> will
be held in association with ILPS'97.
October 16, 1997 -- The Second International Workshop on Interval
Constraints <http://web.univ-orleans.fr/~benhamou/IWIC97cfp.html> will
be held in association with ILPS'97.
October 27-28, 1997 -- The International Workshop on First-Order
Theorem Proving <http://www.logic.tuwien.ac.at/FTP97/> (FTP97) will be
held in Schloss Hagenberg, Austria, in conjunction with CP97.
October 28-30, 1997 -- The Workshop on Planning and Scheduling for
Space <http://www-aig.jpl.nasa.gov/NASA-ps97.html> will be held in
Oxnard, California.
October 29 - November 1, 1997 -- CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/> will be held in Schloss
Hagenberg, Austria. (See entry below)
November 1, 1997 -- A Workshop on Industrial Constraint-Directed
Scheduling will be held in Schloss Hagenberg, Austria, in conjunction
with CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>
November 1, 1997 -- A Workshop on Constraint Reasoning on the Internet
<http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/wcicp97.html>
will be held in Schloss Hagenberg, Austria, in conjunction with CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/>
November 1, 1997 -- A Workshop on the Theory and Practice of Dynamic
Constraint Satisfaction
<http://www-icparc.doc.ic.ac.uk/~hhe/dcsp_workshop.html> will be held
in Schloss Hagenberg, Austria, in conjunction with CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/>
November 1, 1997 -- A Workshop on Constraints and
Bioinformatics/Biocomputing will be held in Schloss Hagenberg, Austria,
in conjunction with CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>
November 4 - November 7, 1997 -- ICTAI-97
<http://cs.utep.edu/csdept/conferences/conf1.html>, the IEEE
International Conference on Tools with Artificial Intelligence, will be
held in Newport Beach, California.
December 9-11, 1997 -- The Asian Computer Science Conference
<http://www.tcs.tifr.res.in/~asian97>, has "formal reasoning and
constraints" as one of four focus areas this year. The 1997 meeting
will be held in Kathmandu, Nepal. (An alternate site for conference
information is <http://ueda.info.waseda.ac.jp/asian97>.)
March 30 - April 1, 1998 -- The 9th International Conference on
Rewriting Techniques and Applications
<http://www4.informatik.tu-muenchen.de/~rta98/> (RTA 98) will be held
in Tsukuba, Japan. (Submission deadline: September 28, 1997)
April 15-17, 1998 -- The Symposium on Combinatorial Optimization (CO98)
<http://smg.ulb.ac.be/co98>, an international biennial conference will
be hosted by the Universite Libre de Bruxelles, organized by ISRO and
SMG, Brussels.
May 15-16, 1998 -- TIME-98
<http://www.cs.fit.edu/~lina/time/time98.html> the Fifth International
Workshop on Temporal Representation and Reasoning, will be held at
Sanibel Island, Florida, conjunction with FLAIRS-98. (See entry below)
May 17-20, 1998 -- The 11th International FLAIRS Conference
<http://www-cse.uta.edu/~cook/flairs98.html> will be held at the
Sundial Beach Resort Sanibel Island, Florida. (See entry below)
Recurring conferences and workshops
================================================================
The First International Workshop on Approximate Reasoning in Scheduling
ARS'97 <http://www.dbai.tuwien.ac.at/events/ars97.html> was held in
Zurich, Switzerland in conjunction with ISFL'97 (February 12 - 14,
1997), the Second International ICSC Symposium on fuzzy logic and
applications. There is also an associated Special Issue of the
International Journal of Approximate Reasoning
<http://www.dbai.tuwien.ac.at/events/ars-si-ijar.html> on approximate
reasoning in scheduling.
The Asian Computer Science Conference
<http://www.tcs.tifr.res.in/~asian97>, has "formal reasoning and
constraints" as one of four focus areas this year. The 1997 meeting
will be held in Kathmandu, Nepal. (An alternate site for conference
information is <http://ueda.info.waseda.ac.jp/asian97>.) The 1996
meeting <http://www.iscs.nus.sg/~asian96> was held in in Singapore, and
included a Constraints and Constraint Programming workshop.
AAAI <http://www.aaai.org/Conferences/conferences.html> is held
annually (most years). AAAI-97
<http://www.aaai.org/Conferences/National/1997/aaai97.html> will be
held in Providence, Rhode Island.
The annual Constraint <http://www.sci.tamucc.edu/constraint96/>
conference is held in conjunction with FLAIRS (see separate entry).
The CONTESSA Workshop
<http://www.cirl.uoregon.edu/constraints/temp/contessa96> Constraint
Databases and their Applications, was held in Delphi, Greece.
CPP, Constraint Programming for Reasoning about Programming
<http://www.scs.leeds.ac.uk/hill/cpp97.html>.
The European Conference on AI (ECAI) is held every other year(?).
ECAI'96 <http://wwwis.cs.utwente.nl:8080/mars/ECAI96.html> was in
Budapest.
FLAIRS <http://www.cis.ufl.edu/~ddd/FLAIRS/> (Florida AI Research
Society) is an annual AI conference. Proceedings are available on-line
for Constraint '95 <http://www.sci.tamucc.edu/constraint95/> and
Constraint '96
<http://www.sci.tamucc.edu/constraint96/proceedings.html>
The French Conference on Logic and Constraint Programming is held
annually. JFPLC'97 <http://www.univ-orleans.fr/LIFO/jfplc97> was held
in Orle'ans, France.
The International Converence on Logic Programming (ICLP) is held
annually(?). ICLP '95 <http://daigo.sfc.keio.ac.jp/iei/iclp95.html>
was held in Kanagawa, Japan. ICLP '97
<http://www.cs.kuleuven.ac.be/~iclp97> will be held in Leuven, Belgium,
8-12 July 1997.
The International Conference on Principles and Practice of Constraint
Programming <http://www.cs.ualberta.ca/~ai/cp/> (CP) is held annually.
CP96 <http://web.cs.ualberta.ca:80/~ai/cp96/> was held in Cambridge,
Mass, August 1996. CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>
will be held in Schloss Hagenberg, Austria, October 29 - November 1,
1997.
The International Joint Conference on Artificial Intelligence is the
main international gathering of researchers in AI. Started in 1969, it
is held every two years, and is jointly sponsored by IJCAI Inc.
(IJCAII), and the national AI societies of the host countries. [IJCAI
<http://ijcai.org/>] IJCAI'97 <http://ijcai.org/ijcai-97/> will be held
in Nagoya, Japan.
The Joint International Conference and Symposium on Logic Programming
(?). JICSLP'96 <http://www.informatik.uni-bonn.de/~jicslp96/> was held
in Bonn.
The International Workshop on Logic Program Synthesis and
Transformation <http://www.cs.ruu.nl/docs/plilp/lopstrxx.html> (LOPSTR)
is an annual workshop.
The Practical Application of Constraint Technology Conferences
<http://www.demon.co.uk/ar/PACT/index.html> (PACT) are held annually.
"Supported by the Prolog Management Group and CompulogNet, the PACT
Conferences demonstrate the application of Constraints and Constraint
Logic Programming to industrial problems." PACT'96
<http://www.demon.co.uk/ar/PACT96/index.html> and PACT'97
<http://www.demon.co.uk/ar/TPAC> were both held in London.
The Practical Application of Prolog Conferences
<http://www.demon.co.uk/ar/PAP/index.html> (PAP) are held annually.
"Supported by The Prolog Management Group and Compulog Net, the
Practical Application of Prolog Conferences are the world's leading
showcase for Prolog applications and systems."
The International Joint Conference on the Theory and Practice of
Software Development (TAPSOFT) is held annually. TAPSOFT'97
<http://www.lifl.fr/tapsoft97> will be held in Lille, April 14-18
1997.
The TIME International Workshop
<http://www.cs.uregina.ca/~temporal/index.html> is held annually in
conjunction with FLAIRS (see separate entry).
The Uncertainty in AI <http://www.auai.org/> (UAI) conference is held
annually. UAI-96 <http://cuai-96.microsoft.com/> was held in Portland,
Oregon.
The International Workshop on Functional and Logic Programming
<http://wwwipd.ira.uka.de/~hlock/wsflp97.html> was held in
Schwarzenberg (Black Forest) in January, 1997.
General info
================================================================
For information on Prolog-related conferences, see the Prolog Home Page
<http://www.demon.co.uk/ar/Prolog/index.html>.
Past conferences
================================================================
Archives of papers, bibliographies, and descriptions of past
conferences can be found in Peggy Eaton's archive
<http://www.cs.unh.edu/ccc/archive/>.
----------------------------------------------------------------
Subject: [2-2] Constraint-related jobs
This page contains announcements of constraints-related jobs. Send
contributions and corrections to <const...@cirl.uoregon.edu>. (I
usually don't have any way of knowing when a position has been filled,
so I would especially appreciate being notified if any of these entries
are obsolete.)
Pointers to other job listings (not specifically constraint-related)
are included at the end of this page.
----------------------------------------------------------------
Ascent Technology <http://www.ascent.com/employme.htm>, in Cambridge,
MA, has several positions open. "We develop and market powerful,
distributed software solutions to difficult resource-planning and
real-time resource-allocation, situation-assessment, and
resource-management problems in the areas of Transportation and
Logistics, Defense, and Finance."
----------------------------------------------------------------
The Artificial Intelligence Group at the Jet Propulsion Laboratory
(JPL), California Institute of Technology are seeking candidates at the
BA/BS, MA/MS and PhD level to work on fundamental research problems in
pplanning, scheduling, and operations research leading to unique
software applications in spacecraft autonomy, scientific data analysis,
and mission operations automation.
Problem areas in spacecraft autonomy target mission planning and
resource management. Ongoing applications include automated planning
of image analysis for the Galileo mission to Jupiter, automated
procedure generation for the Deep Space Network track planning, and
ground planning to support mission operations for several flight
projects. For a further description of ongoing work, interested
parties are directed to the summary article in AI Magazine Vol. 18, No.
1, Spring 1997.
To apply, send a resume and other supporting materials via e-mail to:
<jo...@aig.jpl.nasa.gov> or by mail to: Dr. Steve Chien Jet Propulsion
Laboratory, MS 525-3660 California Institute of Technology Pasadena,
California 91109-8099
[24 June 97]
----------------------------------------------------------------
IC-Parc <http://www-icparc.doc.ic.ac.uk/> has recently secured funding
for 4 new positions, which it proposes to fill as soon as possible. All
the positions lie in the area of constraint programming and its
application to large scale industrial problems. The main focus is on
resource management and planning. The industrial sectors are
construction, retailing, telecommunications and oil.
Candidates should have a solid background in one or more of the
paradigms covered by constraint programming, e.g. constraint logic
programming, stochastic algorithms, mathematical programming. They
should also have some experience of solving large combinatorial
optimisation problems. The programming environment currently used in
IC-Parc, both for research and for applications development, is the
ECLiPSe platform.
For instructions on applying, see
<http://www-icparc.doc.ic.ac.uk/jobs/jobs.html>
[8 June 97]
----------------------------------------------------------------
ILOG Singapore is looking for dynamic and young consultants (1 to 5
years experience) to join its fast growing Consulting group in
Singapore. We are looling for customer oriented applicants with strong
interest in solving complex real-life resource
allocation/scheduling/optimisation problems.
The candidates should have knowledge and/or experience in any of the
following areas : Linear and Integer Programming, Heuristics, Search
techniques, Constraint Programming, Interior Point Methods, etc. In
addition, a good working knowledge in C or preferably C++ will be
required. The position will be based in Singapore and will require
some traveling in Korea, Japan or Australia. A good command of English
is mandatory.
Please send your resume to: Gosselin Vincent Director Of Consulting
Ilog Singapore 73, science park drive email: goss...@ilog.com.sg Fax:
65-773 0439
[8 June 97]
----------------------------------------------------------------
ILOG <http://www.ilog.fr> has two openings in their Optimization
Technology group in Gentilly, France. The first position deals with
parallelism. The ideal candidate will have a strong background in
Parallel software implementation (knowledge of MPI is a plus), as well
as notions of combinatorial optimization, with a PhD or equivalent.
The second position deals with the design and enhancement of a general
purpose library for expressing optimization problems. The ideal
candidate will have a strong background in Constraint Programming or
Operations Research with a PhD or equivalent.
To apply, please send a cover letter and resume by regular or
electronic mail to Patrick Albert (alb...@ilog.fr), Chief Technology
Officer of ILOG (with a cc to pu...@ilog.fr)
[8 June 97]
----------------------------------------------------------------
Applications are invited for research positions at both post-doctorate
and also post-graduate level in the field of Computational Logic at the
department of Computer Science, City University. Areas of particular
research interest within this field are:
concurrent and distributed systems: specification and construction
agent based computing logic programming, constraint programming
[sequential or concurrent] tools and environments to support the design
and construction of systems program analysis, synthesis and
transformation design of logic programming languages logic-based formal
description techniques the application of computational logic to
bioinformatics
Individuals would be funded by the European Community under Marie Curie
Fellowships provided by the Training and Mobility of Researchers (TMR)
scheme of the Framework 4 programme for a maximum of 36 months
(post-grad) or 24 months (post-doc).
For further information see
<http://www.soi.city.ac.uk/homes/drg/advert-tmr.html>
[21 May 97]
----------------------------------------------------------------
At the Programming Research Group of the University of Amsterdam
(Faculty of Mathematics, Informatics, Physics and Astronomy/ Department
of Computer Science) a position is available for a JUNIOR RESEARCHER
(Assistent in Opleiding -- AIO) in the area of constraint programming.
We are currently developing a programming notation better suited for
this programming style and investigate new ways of expressing its basic
ingredients. This area is both of practical and theoretical nature.
Therefore the candidates should have either experience in programming
languages and compiler writing or a good background in uses of
mathematical logic in Computer Science.
Requirements: For this position a completed academic degree
(masters/doctoraal level) in computer science, artificial
intelliggence, or mathematics is a prerequisite. Tasks: Performing
research in the above mentioned area with as aim writing scientific
publications and completing a dissertation. Some assistance with the
courses that are being given by the Programming Research Group.
Further information on this area: prof. dr. K. Apt (phone:
(+31)20-5924135; e-mail: <a...@cwi.nl>). Applications should be sent by
e-mail to: dr. M. van den Brand (phone: (+31)20-5257593; fax:
(+31)20-5257490; <mar...@wins.uva.nl>). Deadline for application: May
30 1997
[4/24/97]
----------------------------------------------------------------
A Chandler, Arizona company has an opening for someone with experience
using "ILOG Server constraint propagation tool." Contact Bridget Bruch
at Technisource <http://www.techni-source.com> a recruiter in Phoenix,
Arizona, and mention reference number AZ10041.
Phone 602-730-6600 / 800-826-6922
Fax 602-730-7907
EMAIL : PHO @ Techni-source.com
[14 Apr 97]
----------------------------------------------------------------
A Bay Area startup is looking for a hardware verification tool
developer to work on automated functional test generation from formal
specifications. The applicant should have a Ph.D. or equivalent
experience in Computer Science, Electrical Engineering, or Math.
Related experience might include functional and/or timing simulation,
formal verification, tool development for logic verification, logic
design, simulators; synthesizers, ATPG, compiler writing, or
constraints-solving systems.
Contact: Sharron Lawson Technical Recruiter ConneXion FAX 415.326.4501
sha...@connexn.com [ba.jobs.offered, 4/11/97]
----------------------------------------------------------------
The Enterprise Integration Laboratory at the University of Toronto is
seeking a research scientist for a 1-year contract (with strong
possibility of renewal) working in the Intelligent Scheduling Research
Group (ISRG). ISRG is a joint project of the Enterprise Integration
Laboratory and Numetrix, Ltd., a leader in the supply chain management
software industry.
The focus of the group is the exploration and application of
constraint-directed scheduling technologies to industrial scheduling,
distribution, and supply chain coordination problems. We have
developed, NumODO, a constraint-directed scheduler with the ability to
emulate a variety of state-of-the-art scheduling algorithms. NumODO
combines generative scheduling and iterative improvement under the
unifying concepts of constraints, textures, and heuristic and implied
commitments and allows direct comparison of competing techniques.
This announcement (with links to more information about EIL and ISRG)
can be found at
<http://www.ie.utoronto.ca/EIL/public/scheduling.position.html>.
[4/10/97]
----------------------------------------------------------------
The Swiss Federal Institute of Technology, Lausanne Artificial
Intelligence Laboratory (Prof. B. Faltings) is looking for Research
Assistants/Ph.D. Students with interest in one of the following
technologies: constraint programming/constraint satisfaction, spatial
reasoning, case-based reasoning, model-based and qualitative reasoning
with applications in engineering design, product configuration, and
telecommunications. Contact: Prof. Boi Faltings Artificial
Intelligence Laboratory LIA(DI), EPFL IN-Ecublens 1015 Lausanne,
Switzerland falt...@lia.di.epfl.ch [posted to csp-list, 7 Dec 96]
[reposted 10 April 97]
----------------------------------------------------------------
Infinity Technology Group Pty Ltd <http://www.infinity.com.au> is
recruiting on behalf of an Australian based client. We have three
vacancies for C and C++ constraint based A/Ps based in Sydney and
Melbourne Australia. Our client is a very respected developer of
scheduling software and wishes to add three experienced people to their
team to work on new and existing projects. Strong academic history and
at least one year of commercial experience is expected.
Applicants should respond to Rod Farrell at rfar...@infinity.com.au.
Please attach your CV in text or MSWord 6 format.
[4/8/97]
----------------------------------------------------------------
Location: INRIA - Rocquencourt - France Employment
Type: Short term assignment Duration: 2 years with
the possibility of extension Starting date: As soon as
possible
Design and implementation of declarative interfaces for constraint
solving (CLP framework - Concurrent Constraints) and applications.
Application must be sent to: Bruno Le Dantec bruno.l...@inria.fr
INRIA-Rocquencourt BP 105, F-78153 Le Chesnay Cedex, France Tel: +33 1
39635035 Fax: +33 1 39635888
The full announcement for this opening can be found at
<http://discipl.inria.fr/job.html>. More information about
INRIA-Rocquencourt and the DiSCiPl project can be found at:
<http://www-rocq.inria.fr> and <http://discipl.inria.fr>
[posted 4/3/97]
----------------------------------------------------------------
The KRAFT project is an exciting new project in Constraint Knowledge
Fusion from distributed sources involving Aberdeen, Cardiff and
Liverpool universities and BT, and coordinated by Professor P.M.D. Gray
at Aberdeen University (see EPSRC IMPACT newsletter December 96). Full
details are available via URL <http://www.csd.abdn.ac.uk/~pgray> (see
also EPSRC IMPACT newsletter December).
A vacancy has arisen at Aberdeen, and we are looking for a RESEARCH
FELLOW (1A post at upto 29 age point) for two full years, starting
around 1st JUNE 1997 (but could be later). The candidate must have a
Ph.D. in Computing or AI (or be writing up), and have published
research papers.
If you are attracted by this project and think you have the
capabilities for this post please email or Fax your CV to
pg...@csd.abdn.ac.uk by 31 MARCH. You will then be sent formal
application papers.
----------------------------------------------------------------
Solution Dynamics, Inc. (SDI) has full time positions available for
Senior Programmers and Technical Project Leaders working from various
sites around the country. Initial training and company indoctrination
will take place at our New Jersey offices. SDI is a leader in the use
of C++, object-oriented technologies to develop solutions to
constrained problems such as scheduling, configuration, routing,
resource allocation and planning.
Our staff has a background in artificial intelligence and mathematical
modeling as well as strong system development experience using OOD
methodologies and C++. They interface directly with customers to
define functional requirements, design system architecture and support
system development efforts. They usually work in small teams of one to
five people.
email: wmax...@compuserve.com; telephone:
(908)725-5445; fax: (908)231-0444;
----------------------------------------------------------------
The Dept. of Computation, University of Manchester - Institute of
Science and Technology (UMIST), has an opening for a post-doc in the
area of spatial and temporal databases under the project CHOROCHRONOS.
The position is available for 12-18 months, but shorter appointments
will also be considered. As part of this appointment, successful
candidates can spend 6 months at INRIA, Rocquencourt working with Dr.
Stephane Grumbach.
CHOROCHRONOS is a 3-year research program funded by the European
Commission under the Training and Mobility for Researchers program.
A major goal of Training and Mobility for Researchers (TMR) networks
is to provide an excellent environment for the training of
young researchers. For more information about CHOROCHRONOS, please see
<http://www.dbnet.ece.ntua.gr/projects/chorochronos.html>. See also
<http://www.co.umist.ac.uk/~manolis/> for previous papers in this area
by Manolis Koubarakis.
To apply, e-mail a recent CV (including list of publications and
references) to Dr. Manolis Koubarakis (man...@co.umist.ac.uk).
----------------------------------------------------------------
Knowledge Engineering Pte Ltd, <k...@pacific.technet.sg>, has openings
for project managers and software engineers. "Recepient of the Best
Application Award (Artificial Intelligence - 1995) in the First
International Users' Conference in ILOG SOLVER & ILOG SCHEDULE in
Paris. Knowledge Engineering Pte Ltd, a premier software development
company, specializes in the application of object-oriented
technologies, Artificial Intelligence, computer graphics, wireless
communications and RDBMS to real-world problems. We develop generic
software products, undertake turnkey projects and consultancy for
clients primarily in the transportation, manufacturing and
communication-services sectors. The systems we have developed make
innovative use of state-of-the-art technologies, including graphics
capabilities, search and constraint-based optimization and other AI
techniques, wireless communications and client-server and intranet
architecture."
Knowledge Engineering Pte Ltd, Changi Airport P.O. Box 8001, Singapore
918199. fax: (65) 543 2109 [comp.constraints, 1 Feb 1997]
----------------------------------------------------------------
ILOG <http://www.ilog.com/> has openings for senior consultants. "Ilog
markets sophisticated C++ and Java software components for data
visualization and resource optimization to Global 2000 companies and
ISVs to build strategic core business applications in diverse fields
including telecommunications, manufacturing, aerospace, and finance. As
an Ilog consultant, you will work directly with customers to ensure
their success in deploying Ilog products in their applications.
Consultants work with clients both at customer sites and in our offices
at all stages of application development, including:
* Working with clients to fully understand application requirements *
Evaluating product suitability for particular applications * Writing
technical specifications for applications * Planning the development
process * Modeling business application objects using Ilog class
libraries * Writing and debugging application code * Knowledge transfer
of application to customer * Providing feedback to development teams
In addition, Ilog consultants may give training courses and provide
second-level customer support." [comp.constraints, 1/31/96]
----------------------------------------------------------------
Older job listings are here
<http://www.cirl.uoregon.edu/constraints/links/jobs-old.html>
Other links
================================================================
The Computing Research Association's list of CS jobs
<http://cra.org/jobs/> has mostly academic positions, and a mailing
list.
Computists International <http://www.computists.com/> is an
organization run by Ken Laws, who puts out several mailing lists. One
jobs mailing list is free, another requires membership but is archived
on the web page after a one-month delay.
The AI Jobs mailing list
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/jobs/ai.html>
is maintained by Mark Kantrowitz. Also see the Lisp, Prolog, AI
postdoc and AI predoc mailing lists
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/jobs.html>.
Patrick Tufts at Brandeis maintains a page of CS Academic Jobs
<http://www.cs.brandeis.edu/~zippy/academic-cs-jobs.html>, and a number
of related pointers.