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: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
|
Comment about this article, ask questions, or add new information about this topic: