From walter@uni-koblenz.de Thu Jan 13 15:25:17 EST 1994
Article: 20190 of comp.ai
Xref: glinda.oz.cs.cmu.edu comp.ai:20190
Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!xlink.net!newshost.uni-koblenz.de!newshost!walter
From: walter@uni-koblenz.de (Walter Hower)
Newsgroups: comp.ai
Subject: Re: constraint propagation and satisfaction refs.
Date: 12 Jan 94 08:48:44
Organization: University of Koblenz, Germany
Lines: 106
Message-ID: <WALTER.94Jan12084844@wolf.uni-koblenz.de>
References: <CJHxwL.B9C@acsu.buffalo.edu>
NNTP-Posting-Host: wolf.uni-koblenz.de
In-reply-to: v104n55k@ubvms.cc.buffalo.edu's message of Wed, 12 Jan 1994 03:08:00 GMT

@Misc{Guesgen:Hertzberg:91,
  author = 	"H.W. Guesgen and J. Hertzberg",
  title = 	"{Advanced Constraint Techniques -- An AISB 1991
		 Tutorial}", 
  OPThowpublished = 	"",
  year = 	"1991",
  OPTmonth = 	"",
  OPTnote = 	""
}
@Article{Kumar:92,
  author = 	"Vipin Kumar",
  title = 	"{Algorithms for Constraint-Satisfaction Problems: A
		 Survey}",
  journal = 	"AI Magazine",
  year = 	"1992",
  volume = 	"13",
  number = 	"1",
  pages = 	"32--44",
  OPTmonth = 	"",
  OPTnote = 	""
}
@InProceedings{Dechter:92b,
  author = 	"Rina Dechter",
  title = 	"{Constraint Networks}",
  booktitle = 	"{Encyclopedia of Artificial Intelligence}",
  year = 	"1992",
  editor = 	"Stuart C. Shapiro",
  pages = 	"276--285",
  OPTorganization = 	"",
  publisher = 	"John Wiley \& Sons",
  OPTaddress = 	"",
  OPTmonth = 	"",
  note = 	"Volume 1, second edition"
}
@InProceedings{Mackworth:92,
  author = 	"{Alan K.}\ Mackworth",
  title = 	"{Constraint Satisfaction}",
  booktitle = 	"{Encyclopedia of Artificial Intelligence}",
  year = 	"1992",
  editor = 	"Stuart C.\ Shapiro",
  pages = 	"285--293",
  OPTorganization = 	"",
  publisher = 	"John Wiley \& Sons",
  OPTaddress = 	"",
  OPTmonth = 	"",
  note = 	"Volume 1, second edition"
}
@Article{Freuder:Wallace:92,
  author = 	"{Eugene C.}\ Freuder and {Richard J.}\ Wallace",
  title = 	"{Partial constraint satisfaction}",
  journal = 	"Artificial Intelligence",
  year = 	"1992",
  volume = 	"58",
  number = 	"1--3",
  pages = 	"21--70",
  month = 	"December",
  note = 	"Elsevier Science Publishers B.V., Amsterdam, The Netherlands"
}
@Misc{Mackworth:Freuder:93,
  author = 	"{Alan K.}\ Mackworth and {Eugene C.}\ Freuder",
  title = 	"{The complexity of constraint satisfaction revisited}",
  howpublished = 	"In {\cite{Bobrow:93}}",
  year = 	"1993",
  OPTmonth = 	"",
  note = 	"pp.\ 57--62"
}
@Misc{Bobrow:93,
  author = 	"{Daniel G.}\ {Bobrow, editor}",
  title = 	"{{\em Artificial Intelligence}, 59(1--2)}",
  OPThowpublished = 	"",
  year = 	"1993",
  month = 	"February",
  note = 	"Special Volume {``Artificial Intelligence in
		 Perspective''; Elsevier Science Publishers B.V., Amsterdam, The Netherlands}"
}
@InProceedings{Zhang:Mackworth:93,
  author = 	"Ying Zhang and {Alan K.}\ Mackworth",
  title = 	"{Constraint Programming in Constraint Nets}",
  booktitle = 	"Position Papers for the First Workshop on Principles
		 and Practice of Constraint Programming",
  year = 	"1993",
  OPTeditor = 	"",
  pages = 	"303--312",
  OPTorganization = 	"",
  OPTpublisher = 	"",
  address = 	"Newport, Rhode Island, USA",
  month = 	"April 28--30,",
  OPTnote = 	""
}
@Article{Bennaceur:Plateau:93,
  author = 	"Hachemi Bennaceur and G{\'{e}}rard Plateau",
  title = 	"{An exact algorithm for the constraint satisfaction
		 problem: Application to logical inference}",
  journal = 	"Information Processing Letters",
  year = 	"1993",
  volume = 	"48",
  number = 	"3",
  pages = 	"151--158",
  month = 	"19 November",
  note = 	"Elsevier Science Publishers B.V."
}

Best regards - 
Walter Hower, Institut f. Informatik, Fachbereich 4,
Uni Koblenz-Landau, Rheinau 1, D-56075 Koblenz,
Federal Republic of Germany; walter@uni-koblenz.de


Article 20195 of comp.ai:
Xref: glinda.oz.cs.cmu.edu comp.ai:20195
Path: honeydew.srv.cs.cmu.edu!rochester!udel!darwin.sura.net!howland.reston.ans.net!agate!doc.ic.ac.uk!warwick!str-ccsun!strath-cs!strath-cs!not-for-mail
From: pat@cs.strath.ac.uk (Patrick Prosser)
Newsgroups: comp.ai
Subject: Re: constraint propagation and satisfaction refs.
Date: 12 Jan 1994 11:35:57 -0000
Organization: Comp. Sci. Dept., Strathclyde Univ., Glasgow, Scotland.
Lines: 37
Message-ID: <2h0nat$7q9@kelvin-02.cs.strath.ac.uk>
References: <CJHxwL.B9C@acsu.buffalo.edu>
NNTP-Posting-Host: kelvin-02.cs.strath.ac.uk

In article <CJHxwL.B9C@acsu.buffalo.edu> v104n55k@ubvms.cc.buffalo.edu (David I Schwartz) writes:
>Since we don't have the newsgroup yet, I'll ask here:
>Does anyone have a few key refs. about constraint satisfaction in
>AI?
>
>thanks!
>

What follows are the "top level" references to the csp literature
(in my opinion). Essentially there are a number of encyclopedia 
entries, overviews and summaries, and a book.

Excuse the latex, and any omissions


\begin{thebibliography}{}
\bibitem {Dechter92}
R. Dechter, Constraint Networks, in {\em Encyclopedia of Artificial Intelligence}
(Wiley, New York, 2nd ed., 1992) 276-286
\bibitem {Kumar92}
V. Kumar, Algorithms for constraint satisfaction problems: a survey, 
{\em AI magazine} 13(1) (1992) 32-44
\bibitem {Mackworth92}
A.K. Mackworth, Constraint Satisfaction, In: 
{\em Encyclopedia of Artificial Intelligence, Second Edition,} Volume 1, 285-293
\bibitem {Meseguer89}
P. Meseguer, Constraint satisfaction problems: an overview, {\em AICOM} 2(1) (1989) 3-17
\bibitem {Tsang93}
E. Tsang, Foundations of constraint satisfaction, Academic Press (ISBN 0-12-701610-4)
\end{thebibliography}


 __________________________________________________________________________
| Patrick Prosser, Department of Computer Science.                         |
| University of Strathclyde, Glasgow G1 1XH, Scotland.                     |
| email: pat@cs.strath.ac.uk  phone: +44 41 552 4400 fax: +44 41 552 5330  |
 --------------------------------------------------------------------------