(The html version of the manual was produced by latex2html and has some
problems, although it should still be usable.)
The following book is on reserve in the
Programming with Constraints: An Introduction, by Kim Marriott and
Peter J. Stuckey.
(The online material should be sufficient for 341 however.)