Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

comp.constraints FAQ (Part 1 of 1)
Section - [1-5] Bibliographies

( Part1 - Part2 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Forum ]


Top Document: comp.constraints FAQ (Part 1 of 1)
Previous Document: [1-4] Publications
Next Document: [1-6] Journals
See reader questions & answers on this topic! - Help others by sharing your knowledge
Short bibliography
<http://www.cs.unh.edu/ccc/archive/constraints/archive/shortbib> covering
some key CLP and CSP papers and books.  Suggestions for updating the
list are requested; email <pse@cs.unh.edu>.

CLP bibliography <ftp://archive.cis.ohio-state.edu/pub/clp> by Spiro
Michaylov <spiro@cis.ohio-state.edu> (somewhat out of date; no entries
after 1993).

An updated CLP bibliography is maintained by Peggy Eaton
<mailto:pse@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 <brian@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>.


User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: comp.constraints FAQ (Part 1 of 1)
Previous Document: [1-4] Publications
Next Document: [1-6] Journals

Part1 - Part2 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
pse@cs.unh.edu





Last Update March 27 2014 @ 02:11 PM