Top Document: comp.constraints FAQ (Part 1 of 1) Previous Document: [1-9] Benchmarks and examples Next Document: [1-11] Constraint systems See reader questions & answers on this topic! - Help others by sharing your knowledge Patrick Prosser <pat@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 <vanbeek@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.cs.unh.edu/ccc/archive/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/>. User Contributions:Top Document: comp.constraints FAQ (Part 1 of 1) Previous Document: [1-9] Benchmarks and examples Next Document: [1-11] Constraint systems 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: